A fast counterexample minimization approach with refutation analysis and incremental SAT.

ShengYu Shen, Ying Qin, Sikun Li

Browse the full ASPDAC paper archive.