%0 Conference Paper %1 conf/aaai/BryceGMG15 %A Bryce, Daniel %A Gao, Sicun %A Musliner, David J. %A Goldman, Robert P. %B AAAI %D 2015 %E Bonet, Blai %E Koenig, Sven %I AAAI Press %K dblp %P 3247-3253 %T SMT-Based Nonlinear PDDL+ Planning. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#BryceGMG15 %@ 978-1-57735-698-1

@inproceedings{conf/aaai/BryceGMG15, added-at = {2023-09-18T00:00:00.000+0200}, author = {Bryce, Daniel and Gao, Sicun and Musliner, David J. and Goldman, Robert P.}, biburl = {https://www.bibsonomy.org/bibtex/25c6ce6146b0726ac6d8fab0fde13bd43/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2015}, editor = {Bonet, Blai and Koenig, Sven}, ee = {https://doi.org/10.1609/aaai.v29i1.9646}, interhash = {63421ff34e0c7b1566b129ce2dfe3263}, intrahash = {5c6ce6146b0726ac6d8fab0fde13bd43}, isbn = {978-1-57735-698-1}, keywords = {dblp}, pages = {3247-3253}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:14.000+0200}, title = {SMT-Based Nonlinear PDDL+ Planning.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#BryceGMG15}, year = 2015 }