09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernd Becker, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita. 09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers. In Bernd Becker, V. Bertacoo, Rolf Drechsler, Masahiro Fujita, editors, Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009. Volume 09461 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]

This author has not been identified. Look up 'Bernd Becker' in GoogleThis author has not been identified. Look up 'Valeria Bertacco' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in GoogleThis author has not been identified. Look up 'Masahiro Fujita' in Google

runs on WebDSL