Strong conflict analysis for propositional satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

HoonSang Jin, Fabio Somenzi. Strong conflict analysis for propositional satisfiability. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 818-823, European Design and Automation Association, Leuven, Belgium, 2006. [doi]

This author has not been identified. Look up 'HoonSang Jin' in GoogleThis author has not been identified. Look up 'Fabio Somenzi' in Google

runs on WebDSL