%0 Conference Paper %1 conf/ijcai/Broeck16 %A den Broeck, Guy Van %B IJCAI %D 2016 %E Kambhampati, Subbarao %I IJCAI/AAAI Press %K dblp %P 4086-4089 %T First-Order Model Counting in a Nutshell. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#Broeck16 %@ 978-1-57735-771-1

@inproceedings{conf/ijcai/Broeck16, added-at = {2019-08-20T00:00:00.000+0200}, author = {den Broeck, Guy Van}, biburl = {https://www.bibsonomy.org/bibtex/2221c6134bf1828954021dd12e2cc5854/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2016}, editor = {Kambhampati, Subbarao}, ee = {http://www.ijcai.org/Abstract/16/607}, interhash = {805471ba549f9d89acb5bbd25e24ae2c}, intrahash = {221c6134bf1828954021dd12e2cc5854}, isbn = {978-1-57735-771-1}, keywords = {dblp}, pages = {4086-4089}, publisher = {IJCAI/AAAI Press}, timestamp = {2019-08-21T11:55:49.000+0200}, title = {First-Order Model Counting in a Nutshell.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#Broeck16}, year = 2016 }