Compilation and Fast Model Counting beyond CNF

Colnet, Alexis de; Szeider, Stefan; Zhang, Tianwei

doi:10.24963/ijcai.2024/367

by Alexis de Colnet, Stefan Szeider, Tianwei Zhang

Reference:

Compilation and Fast Model Counting beyond CNFAlexis de Colnet, Stefan Szeider, Tianwei ZhangProceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson, ed.), pages 3315–3323, 8 2024, International Joint Conferences on Artificial Intelligence Organization.Note: Main Track

Bibtex Entry:

@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-24}},
  publisher = {International Joint Conferences on Artificial
                  Intelligence Organization},
  editor    = {Kate Larson},
  pages     = {3315--3323},
  year      = {2024},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2024/367},
  keywords = {reveal,asksat,strides},
}