Jaroslav Bendík
Jaroslav Bendík
Home
Publications
CV
Light
Dark
Automatic
1
Online Enumeration of All Minimal Inductive Validity Cores
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Consistency checking in requirements analysis
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis
Tunable Online MUS/MSS Enumeration
«
Cite
×