226 citations · 240 across the 10 of their papers we have counts for
1 paper · 1 filter
Sibylle Möhle, Roberto Sebastiani, Armin Biere
Propositional model enumeration, or All-SAT, is the task to record all models of a propositional formula. It is a key task in software and hardware verification, system engineering…