D.N. COROIAN

info

Please Note

<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>

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 , A.L.D. Latour , M. Skrodzki

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 ...