Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01090-4_9 ◽

2018 ◽

pp. 143-159 ◽

Author(s):

Jaroslav Bendík ◽

Ivana Černá ◽

Nikola Beneš

Download Full-text