Counting Minimal Unsatisfiable Subsets

Publication
In 33ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION