%0 Conference Paper %1 conf/aaai/BremenD0RM21 %A van Bremen, Timothy %A Derkinderen, Vincent %A Sharma, Shubham %A Roy, Subhajit %A Meel, Kuldeep S. %B AAAI %D 2021 %I AAAI Press %K dblp %P 3922-3930 %T Symmetric Component Caching for Model Counting on Combinatorial Instances. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#BremenD0RM21 %@ 978-1-57735-866-4

@inproceedings{conf/aaai/BremenD0RM21, added-at = {2023-09-04T00:00:00.000+0200}, author = {van Bremen, Timothy and Derkinderen, Vincent and Sharma, Shubham and Roy, Subhajit and Meel, Kuldeep S.}, biburl = {https://www.bibsonomy.org/bibtex/2d0c75ad0927d5b4fbd8438c9833f0277/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2021}, ee = {https://doi.org/10.1609/aaai.v35i5.16511}, interhash = {20677b26743baf02675908a7ebc4fe10}, intrahash = {d0c75ad0927d5b4fbd8438c9833f0277}, isbn = {978-1-57735-866-4}, keywords = {dblp}, pages = {3922-3930}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:11:30.000+0200}, title = {Symmetric Component Caching for Model Counting on Combinatorial Instances.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#BremenD0RM21}, year = 2021 }