Approximate Counting of Minimal Unsatisfiable Subsets

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