Counting Minimal Unsatisfiable Subsets

Jaroslav Bendík, Kuldeep S. Meel
April 2021
Cite Preprint
Type
Conference paper
Publication
In 33ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead