%0 Conference Paper %1 conf/ijcai/KautzS99 %A Kautz, Henry A. %A Selman, Bart %B IJCAI %D 1999 %E Dean, Thomas %I Morgan Kaufmann %K dblp %P 318-325 %T Unifying SAT-based and Graph-based Planning. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai99.html#KautzS99 %@ 1-55860-613-0

@inproceedings{conf/ijcai/KautzS99, added-at = {2019-08-20T00:00:00.000+0200}, author = {Kautz, Henry A. and Selman, Bart}, biburl = {https://www.bibsonomy.org/bibtex/2bd6026579b13e23a02362dee26e7bc3f/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/99}, editor = {Dean, Thomas}, ee = {http://ijcai.org/Proceedings/99-1/Papers/047.pdf}, interhash = {768c46e08807f86916ca47babc86ecef}, intrahash = {bd6026579b13e23a02362dee26e7bc3f}, isbn = {1-55860-613-0}, keywords = {dblp}, pages = {318-325}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:47:21.000+0200}, title = {Unifying SAT-based and Graph-based Planning.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai99.html#KautzS99}, year = 1999 }