%0 Conference Paper %1 conf/aaai/YangM24 %A Yang, Suwei %A Meel, Kuldeep S. %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 8200-8208 %T Engineering an Exact Pseudo-Boolean Model Counter. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#YangM24

@inproceedings{conf/aaai/YangM24, added-at = {2024-05-07T00:00:00.000+0200}, author = {Yang, Suwei and Meel, Kuldeep S.}, biburl = {https://www.bibsonomy.org/bibtex/2ef6ec5583e553a5c31696e9968d9b97d/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2024}, editor = {Wooldridge, Michael J. and Dy, Jennifer G. and Natarajan, Sriraam}, ee = {https://doi.org/10.1609/aaai.v38i8.28660}, interhash = {6e6cd5266038744e24b2a3718244f6ce}, intrahash = {ef6ec5583e553a5c31696e9968d9b97d}, keywords = {dblp}, pages = {8200-8208}, publisher = {AAAI Press}, timestamp = {2024-05-13T09:43:21.000+0200}, title = {Engineering an Exact Pseudo-Boolean Model Counter.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#YangM24}, year = 2024 }