%0 Journal Article %1 journals/ai/CimattiRB04 %A Cimatti, Alessandro %A Roveri, Marco %A Bertoli, Piergiorgio %D 2004 %J Artif. Intell. %K dblp %N 1-2 %P 127-206 %T Conformant planning via symbolic model checking and heuristic search. %U http://dblp.uni-trier.de/db/journals/ai/ai159.html#CimattiRB04 %V 159

@article{journals/ai/CimattiRB04, added-at = {2019-06-02T00:00:00.000+0200}, author = {Cimatti, Alessandro and Roveri, Marco and Bertoli, Piergiorgio}, biburl = {https://www.bibsonomy.org/bibtex/2948e732466e384ce08d26f7fdf4cc25e/dblp}, ee = {https://www.wikidata.org/entity/Q62041390}, interhash = {3d4a501278e1c06a60f6e0f42dcae35e}, intrahash = {948e732466e384ce08d26f7fdf4cc25e}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {127-206}, timestamp = {2019-06-04T11:49:48.000+0200}, title = {Conformant planning via symbolic model checking and heuristic search.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai159.html#CimattiRB04}, volume = 159, year = 2004 }