Deriving Small Unsatisfiable Cores with Dominators - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roman Gershman, Maya Koifman, Ofer Strichman. Deriving Small Unsatisfiable Cores with Dominators. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 109-122, Springer, 2006. [doi]

This author has not been identified. Look up 'Roman Gershman' in GoogleThis author has not been identified. Look up 'Maya Koifman' in GoogleThis author has not been identified. Look up 'Ofer Strichman' in Google

runs on WebDSL