Non-solution implications using reverse domination in a modern SAT-based debugging environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bao Le, Hratch Mangassarian, Brian Keng, Andreas G. Veneris. Non-solution implications using reverse domination in a modern SAT-based debugging environment. In Wolfgang Rosenstiel, Lothar Thiele, editors, 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. pages 629-634, IEEE, 2012. [doi]

This author has not been identified. Look up 'Bao Le' in GoogleThis author has not been identified. Look up 'Hratch Mangassarian' in GoogleThis author has not been identified. Look up 'Brian Keng' in GoogleThis author has not been identified. Look up 'Andreas G. Veneris' in Google

runs on WebDSL