Minimizing Counterexample with Unit Core Extraction and Incremental SAT.

ShengYu Shen, Ying Qin, Sikun Li

Browse the full VMCAI paper archive.