@InProceedings{DecolnetSzeiderZhang24,
  author       = {Alexis de Colnet and Stefan Szeider and Tianwei Zhang},
  title        = {Compilation and Fast Model Counting beyond CNF},
 booktitle    = {Proceedings of the Thirty-Third International Joint
                  Conference on Artificial Intelligence, {IJCAI} 2024,
                  3rd-9th August 2024, Jeju Island, South Korea},
  publisher    = {ijcai.org},
  year         = {2024},
  keywords = {reveal,asksat,strides},
  note = {to appear},
}