BibTeX record conf/aaai/HadijiKA10

download as .bib file

@inproceedings{DBLP:conf/aaai/HadijiKA10,
  author    = {Fabian Hadiji and
               Kristian Kersting and
               Babak Ahmadi},
  title     = {Lifted Message Passing for Satisfiability},
  booktitle = {Statistical Relational Artificial Intelligence, Papers from the 2010
               {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/aaai/2010stat},
  url       = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/1975},
  timestamp = {Thu, 08 Mar 2012 15:27:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/HadijiKA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2010stat,
  title     = {Statistical Relational Artificial Intelligence, Papers from the 2010
               {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series    = {{AAAI} Workshops},
  volume    = {{WS-10-06}},
  publisher = {{AAAI}},
  year      = {2010},
  url       = {http://www.aaai.org/Library/Workshops/ws10-06.php},
  timestamp = {Thu, 08 Mar 2012 15:26:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2010stat},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier