MUP: a minimal unsatisfiability prover. (2005)

by J Huang
Venue:ASP-DAC ’05: Proceedings of the 2005 conference on Asia South Pacific design automation,