Efficient SAT Solving under Assumptions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Nadel, Vadim Ryvchin. Efficient SAT Solving under Assumptions. In Alessandro Cimatti, Roberto Sebastiani, editors, Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings. Volume 7317 of Lecture Notes in Computer Science, pages 242-255, Springer, 2012. [doi]

This author has not been identified. Look up 'Alexander Nadel' in GoogleThis author has not been identified. Look up 'Vadim Ryvchin' in Google

runs on WebDSL