D.N. COROIAN

Bachelor thesis (1)

1 records found

Delta debugging fault-triggering propositional model counting instances

To facilitate debugging of unweighted model counters using SharpVelvet

Bachelor thesis (2025) - D.N. COROIAN (author), A.L.D. Latour (mentor), M. Skrodzki (graduation committee member), Martin Skrodzki (graduation committee member)

Propositional model counting (#SAT) is the counting variant of the Boolean Satisfiability (SAT) problem. Development of #SAT solvers has seen a boom in recent years. These tools are complex and hard to debug. To address this, we propose a delta debugger that reduces fault-trigger ...