{"_id":"w8GoG2dCDEfxPR3BE","bibbaseid":"palacios-bonet-darwiche-geffner-pruningconformantplansbycountingmodelsoncompiledddnnfrepresentations-2005","author_short":["Palacios, H.","Bonet, B.","Darwiche, A.","Geffner, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Héctor"],"propositions":[],"lastnames":["Palacios"],"suffixes":[]},{"firstnames":["Blai"],"propositions":[],"lastnames":["Bonet"],"suffixes":[]},{"firstnames":["Adnan"],"propositions":[],"lastnames":["Darwiche"],"suffixes":[]},{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]}],"editor":[{"firstnames":["Susanne"],"propositions":[],"lastnames":["Biundo"],"suffixes":[]},{"firstnames":["Karen","L."],"propositions":[],"lastnames":["Myers"],"suffixes":[]},{"firstnames":["Kanna"],"propositions":[],"lastnames":["Rajan"],"suffixes":[]}],"title":"Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations","booktitle":"Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA","pages":"141–150","publisher":"AAAI","year":"2005","url":"http://www.aaai.org/Library/ICAPS/2005/icaps05-015.php","timestamp":"Fri, 05 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/aips/PalaciosBDG05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aips/PalaciosBDG05,\n author = {H{\\'{e}}ctor Palacios and\n Blai Bonet and\n Adnan Darwiche and\n Hector Geffner},\n editor = {Susanne Biundo and\n Karen L. Myers and\n Kanna Rajan},\n title = {Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations},\n booktitle = {Proceedings of the Fifteenth International Conference on Automated\n Planning and Scheduling {(ICAPS} 2005), June 5-10 2005, Monterey,\n California, {USA}},\n pages = {141--150},\n publisher = {{AAAI}},\n year = {2005},\n url = {http://www.aaai.org/Library/ICAPS/2005/icaps05-015.php},\n timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/aips/PalaciosBDG05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Palacios, H.","Bonet, B.","Darwiche, A.","Geffner, H."],"editor_short":["Biundo, S.","Myers, K. L.","Rajan, K."],"key":"DBLP:conf/aips/PalaciosBDG05","id":"DBLP:conf/aips/PalaciosBDG05","bibbaseid":"palacios-bonet-darwiche-geffner-pruningconformantplansbycountingmodelsoncompiledddnnfrepresentations-2005","role":"author","urls":{"Paper":"http://www.aaai.org/Library/ICAPS/2005/icaps05-015.php"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de//publications.bib","dataSources":["NPkLw45kG9GWYL49R","tubGENBygCFYfB7TL","4HkuWzYuAg2ZviM2X","bTnDYS5vwPW5Supsu","tf5mTExTEFXuErEdH","45WxtJyDz9zx6pdDx","5q9jKxssadh8cFBKs","6fZkG8tXqBebfLw5Y","waHGWjpvXXx3AyHy9","6adukg4graHyCHEMo","BMmm68taAyypDfPH2","ovz3PTw8JN5vXb8uW","bpX5w62ubdK9Lh4gm","GCNA4EFhYoAKgp6xx","4yFfvDeKJAumYHnKt","X5ov3ErvGdauPhZ46","FfFCCjRd3JRTRveEW"],"keywords":[],"search_terms":["pruning","conformant","plans","counting","models","compiled","dnnf","representations","palacios","bonet","darwiche","geffner"],"title":"Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations","year":2005}