Certified MaxSAT Preprocessing
Paper in proceeding, 2024
preprocessing
proof logging
formally verified proof checking
maximum satisfiability
Author
Hannes Ihalainen
University of Helsinki
Andy Oertel
University of Copenhagen
Lund University
Yong Kiam Tan
Agency for Science, Technology and Research (A*STAR)
Jeremias Berg
University of Helsinki
Matti Järvisalo
University of Helsinki
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Jakob Nordström
Lund University
University of Copenhagen
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,
Subject Categories
Computer Science
DOI
10.1007/978-3-031-63498-7_24