MaxSAT Fuzzing
This is landing page for our work on fuzzing and classifying bugs in MaxSAT solvers.
Paper
Tobias Paxian and
Armin Biere.
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,
pages 59-71,
CEUR-WS.org 2023.
[ paper
| bibtex
| data
| ceur
]
Data
This is the artifact (except benchmarks) for our POS’23 paper.
maxsatfuzz-logfiles-pos23-submission.tar.xz (1.4GB)
maxsatfuzz-reducedWCNFS-pos23-submission.tar.xz