Counting Minimal Unsatisfiable Subsets

Publication
In 33ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher