%0 Journal Article %1 journals/jair/DomshlakHS09 %A Domshlak, Carmel %A Hoffmann, Jörg %A Sabharwal, Ashish %D 2009 %J J. Artif. Intell. Res. %K dblp %P 415-469 %T Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. %U http://dblp.uni-trier.de/db/journals/jair/jair36.html#DomshlakHS09 %V 36

@article{journals/jair/DomshlakHS09, added-at = {2017-06-21T00:00:00.000+0200}, author = {Domshlak, Carmel and Hoffmann, Jörg and Sabharwal, Ashish}, biburl = {https://www.bibsonomy.org/bibtex/248e244d02834da8dd375f055089990dc/dblp}, ee = {https://doi.org/10.1613/jair.2817}, interhash = {9b657950a8c47095923b9713717a2bdd}, intrahash = {48e244d02834da8dd375f055089990dc}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {415-469}, timestamp = {2017-06-22T11:36:49.000+0200}, title = {Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair36.html#DomshlakHS09}, volume = 36, year = 2009 }