@Inproceedings{HuangASPDAC05, author = {Jinbo Huang}, title = {MUP: A Minimal Unsatisfiability Prover}, booktitle = {Proceedings of the Tenth Asia and South Pacific Design Automation Conference (ASP-DAC)}, pages = {432-437}, location = {Shanghai, China}, year = {2005} }