search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Algorithms and Applications for Next Generation SAT Solvers

Keyphrases

Publications

2009

Daniel Große, Hoang Minh Le, Rolf Drechsler
Formal Verification of Abstract SystemC Models. Algorithms and Applications for Next Generation SAT Solvers (2009)
Martin Gogolla
Towards Model Validation and Verification with SAT Techniques. Algorithms and Applications for Next Generation SAT Solvers (2009)
Bernd Becker, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita
09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers. Algorithms and Applications for Next Generation SAT Solvers (2009)
Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz
Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. Algorithms and Applications for Next Generation SAT Solvers (2009)
Erika Ábrahám, Ulrich Loup
SMT-Solving for the First-Order Theory of the Reals. Algorithms and Applications for Next Generation SAT Solvers (2009)
Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler
SWORD - Module-based SAT Solving. Algorithms and Applications for Next Generation SAT Solvers (2009)

volume 9461, 2009

Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009 Algorithms and Applications for Next Generation SAT Solvers 9461 (2009)