%0 Conference Paper %1 conf/aaai/Rintanen11 %A Rintanen, Jussi %B AAAI %D 2011 %E Burgard, Wolfram %E Roth, Dan %I AAAI Press %K dblp %P 1563-1566 %T Planning with Specialized SAT Solvers. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2011.html#Rintanen11

@inproceedings{conf/aaai/Rintanen11, added-at = {2023-09-04T00:00:00.000+0200}, author = {Rintanen, Jussi}, biburl = {https://www.bibsonomy.org/bibtex/238cc4fce03cec6d813ee76b34d09daa0/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2011}, editor = {Burgard, Wolfram and Roth, Dan}, ee = {https://doi.org/10.1609/aaai.v25i1.7962}, interhash = {3e28c46100d2f53ccaa35f7b19865b53}, intrahash = {38cc4fce03cec6d813ee76b34d09daa0}, keywords = {dblp}, pages = {1563-1566}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:00:30.000+0200}, title = {Planning with Specialized SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2011.html#Rintanen11}, year = 2011 }