Replication-Guided Enumeration of Minimal Unsatisfiable Subsets

von Bendík, Jaroslav
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

MUST: Minimal Unsatisfiable Subsets Enumeration Tool

von Bendik, Jaroslav
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Counting Minimal Unsatisfiable Subsets

von Bendik, Jaroslav
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Approximate Counting of Minimal Unsatisfiable Subsets

von Bendik, Jaroslav
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Timed Automata Relaxation for Reachability

von Bendík, Jaroslav
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)