%0 Conference Paper %1 conf/ijcai/LagniezLM16 %A Lagniez, Jean-Marie %A Lonca, Emmanuel %A Marquis, Pierre %B IJCAI %D 2016 %E Kambhampati, Subbarao %I IJCAI/AAAI Press %K dblp %P 751-757 %T Improving Model Counting by Leveraging Definability. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#LagniezLM16 %@ 978-1-57735-771-1

@inproceedings{conf/ijcai/LagniezLM16, added-at = {2019-08-20T00:00:00.000+0200}, author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Marquis, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/28d92848039ed19daaabd34e27d018b3c/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2016}, editor = {Kambhampati, Subbarao}, ee = {http://www.ijcai.org/Abstract/16/112}, interhash = {bfb10311dd20419e1ebc6ad79b60d2f2}, intrahash = {8d92848039ed19daaabd34e27d018b3c}, isbn = {978-1-57735-771-1}, keywords = {dblp}, pages = {751-757}, publisher = {IJCAI/AAAI Press}, timestamp = {2019-08-21T11:55:49.000+0200}, title = {Improving Model Counting by Leveraging Definability.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#LagniezLM16}, year = 2016 }