A fast counterexample minimization approach with refutation analysis and incremental SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

ShengYu Shen, Ying Qin, Sikun Li. A fast counterexample minimization approach with refutation analysis and incremental SAT. In Ting-Ao Tang, editor, Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005. pages 451-454, ACM Press, 2005. [doi]

This author has not been identified. Look up 'ShengYu Shen' in GoogleThis author has not been identified. Look up 'Ying Qin' in GoogleThis author has not been identified. Look up 'Sikun Li' in Google

runs on WebDSL