The following pages link to Jaroslav Bendík (Q832271):
Displaying 8 items.
- Counting minimal unsatisfiable subsets (Q832272) (← links)
- Timed automata relaxation for reachability (Q2044206) (← links)
- Approximate counting of minimal unsatisfiable subsets (Q2225120) (← links)
- Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (Q4571130) (← links)
- (Q4636600) (← links)
- (Q5101345) (← links)
- Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (Q5222949) (← links)
- Hashing-based approximate counting of minimal unsatisfiable subsets (Q6632194) (← links)
