%0 Conference Paper %1 conf/cpaior/GangeS12 %A Gange, Graeme %A Stuckey, Peter J. %B CPAIOR %D 2012 %E Beldiceanu, Nicolas %E Jussien, Narendra %E Pinson, Eric %I Springer %K %P 195-210 %T Explaining Propagators for s-DNNF Circuits. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2012.html#GangeS12 %V 7298 %@ 978-3-642-29827-1

@inproceedings{conf/cpaior/GangeS12, added-at = {2023-12-13T04:48:02.000+0100}, author = {Gange, Graeme and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/26d308b5e1b9590565121249bab1ddd9a/admin}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2012}, editor = {Beldiceanu, Nicolas and Jussien, Narendra and Pinson, Eric}, ee = {https://doi.org/10.1007/978-3-642-29828-8_13}, interhash = {9a799fb817d49ec902617d65c7eda451}, intrahash = {6d308b5e1b9590565121249bab1ddd9a}, isbn = {978-3-642-29827-1}, keywords = {}, pages = {195-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:48:02.000+0100}, title = {Explaining Propagators for s-DNNF Circuits.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2012.html#GangeS12}, volume = 7298, year = 2012 }