%0 Conference Paper %1 conf/aaai/Kautz06 %A Kautz, Henry A. %B AAAI %D 2006 %I AAAI Press %K dblp %P 1524-1526 %T Deconstructing Planning as Satisfiability. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2006.html#Kautz06

@inproceedings{conf/aaai/Kautz06, added-at = {2023-09-05T00:00:00.000+0200}, author = {Kautz, Henry A.}, biburl = {https://www.bibsonomy.org/bibtex/2c430bdea0da552373b4f67427836f775/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2006}, ee = {http://www.aaai.org/Library/AAAI/2006/aaai06-241.php}, interhash = {115b4642347bc12c0610b338087e0492}, intrahash = {c430bdea0da552373b4f67427836f775}, keywords = {dblp}, pages = {1524-1526}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:13:30.000+0200}, title = {Deconstructing Planning as Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2006.html#Kautz06}, year = 2006 }