1

On Decomposition of Maximal Satisfiable Subsets

Counting Minimal Unsatisfiable Subsets

Timed Automata Relaxation for Reachability

Counting Maximal Satisfiable Subsets

Replication-Guided Enumeration of Minimal Unsatisfiable Subsets

Approximate Counting of Minimal Unsatisfiable Subsets

Rotation Based MSS/MCS Enumeration

MUST: Minimal Unsatisfiable Subsets Enumeration Tool

Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets

Finding Regressions in Projects under Version Control Systems