A Cardinal Improvement to Pseudo-Boolean Solving

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20)
Number of pages9
PublisherAAAI Press
Publication date1 Feb 2020
Pages1495-1503
Publication statusPublished - 1 Feb 2020
Event34th AAAI Conference on Artificial Intelligence - New York, United States
Duration: 7 Feb 202012 Jan 2021

Conference

Conference34th AAAI Conference on Artificial Intelligence
LandUnited States
ByNew York
Periode07/02/202012/01/2021

ID: 251872248