Jaroslav Bendík
Jaroslav Bendík
Home
Publications
CV
Light
Dark
Automatic
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
»
Cite
×