Certified MaxSAT Preprocessing
Paper i proceeding, 2024
preprocessing
proof logging
formally verified proof checking
maximum satisfiability
Författare
Hannes Ihalainen
Helsingin Yliopisto
Andy Oertel
Köpenhamns universitet
Lunds universitet
Yong Kiam Tan
Agency for Science, Technology and Research (A*STAR)
Jeremias Berg
Helsingin Yliopisto
Matti Järvisalo
Helsingin Yliopisto
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Jakob Nordström
Lunds universitet
Köpenhamns universitet
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 14739 LNAI 396-4189783031634970 (ISBN)
Nancy, France,
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1007/978-3-031-63498-7_24