Preprocessing in Incomplete MaxSAT Solving

Marcus Johannes Leivo, Jeremias Berg, Matti Järvisalo

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationProceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020)
Number of pages8
PublisherIOS PRESS
Publication date2020
ISBN (Electronic)978-1-64368-100-9
Publication statusPublished - 2020
MoE publication typeA4 Article in conference proceedings
EventEuropean Conference on Artificial Intelligence - [Online event]
Duration: 29 Aug 20208 Sep 2020
Conference number: 24

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314

Fields of Science

  • 113 Computer and information sciences

Cite this