Compilation and Fast Model Counting beyond CNF (bibtex)
by ,
Reference:
Compilation and Fast Model Counting beyond CNFAlexis de Colnet, Stefan Szeider adn Tianwei ZhangProceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, 3rd-9th August 2024, Jeju Island, South Korea, 2024, ijcai.org.Note: to appear
Bibtex Entry:
@InProceedings{DecolnetSzeiderZhang24,
  author       = {Alexis de Colnet and Stefan Szeider adn 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},
}
Powered by bibtexbrowser