@inproceedings{DecolnetSzeiderZhang24,
 author = {Alexis de Colnet and Stefan Szeider and Tianwei Zhang},
 booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-24}},
 doi = {10.24963/ijcai.2024/367},
 editor = {Kate Larson},
 keywords = {asksat, reveal, strides},
 month = {8},
 note = {Main Track},
 pages = {3315--3323},
 publisher = {International Joint Conferences on Artificial
Intelligence Organization},
 title = {Compilation and Fast Model Counting beyond CNF},
 year = {2024}
}