%0 Conference Paper %1 conf/cp/Rintanen10 %A Rintanen, Jussi %B CP %D 2010 %E Cohen, David %I Springer %K dblp %P 414-428 %T Heuristics for Planning with SAT. %U http://dblp.uni-trier.de/db/conf/cp/cp2010.html#Rintanen10 %V 6308 %@ 978-3-642-15395-2

@inproceedings{conf/cp/Rintanen10, added-at = {2021-10-14T00:00:00.000+0200}, author = {Rintanen, Jussi}, biburl = {https://www.bibsonomy.org/bibtex/20c65030f71456a09df0187469ca48f18/dblp}, booktitle = {CP}, crossref = {conf/cp/2010}, editor = {Cohen, David}, ee = {https://doi.org/10.1007/978-3-642-15396-9_34}, interhash = {fc572e5801e5fd03812fd4943699ac88}, intrahash = {0c65030f71456a09df0187469ca48f18}, isbn = {978-3-642-15395-2}, keywords = {dblp}, pages = {414-428}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:58.000+0200}, title = {Heuristics for Planning with SAT.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2010.html#Rintanen10}, volume = 6308, year = 2010 }