This is landing page for our work on fuzzing and classifying bugs in MaxSAT solvers.
Tobias Paxian and
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging.
In Proceedings of the 14th International Workshop on Pragmatics of SAT (POS'23),
vol. 3545, CEUR Workshop Proceedings,
[ paper | bibtex | data | ceur ]
This is the artifact (except benchmarks) for our POS’23 paper.