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)