%0 Conference Paper %1 conf/aaai/LagniezM14 %A Lagniez, Jean-Marie %A Marquis, Pierre %B AAAI %D 2014 %E Brodley, Carla E. %E Stone, Peter %I AAAI Press %K dblp %P 2688-2694 %T Preprocessing for Propositional Model Counting. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2014.html#LagniezM14 %@ 978-1-57735-661-5

@inproceedings{conf/aaai/LagniezM14, added-at = {2023-09-04T00:00:00.000+0200}, author = {Lagniez, Jean-Marie and Marquis, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2af5211844a439311231d22952e621df1/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2014}, editor = {Brodley, Carla E. and Stone, Peter}, ee = {https://doi.org/10.1609/aaai.v28i1.9116}, interhash = {5e005d4db1a387e493325d1124c8931c}, intrahash = {af5211844a439311231d22952e621df1}, isbn = {978-1-57735-661-5}, keywords = {dblp}, pages = {2688-2694}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:06:48.000+0200}, title = {Preprocessing for Propositional Model Counting.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2014.html#LagniezM14}, year = 2014 }