Tobias Paxian, Armin Biere. Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. In Matti Järvisalo, Daniel Le Berre, editors, Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. Volume 3545 of CEUR Workshop Proceedings, pages 59-71, CEUR-WS.org, 2023. [doi]
Abstract is missing.