Abstract is missing.
- Formal Verification of Abstract SystemC ModelsDaniel Große, Hoang M. Le, Rolf Drechsler. [doi]
- 09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT SolversBernd Becker, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita. [doi]
- SWORD - Module-based SAT SolvingRobert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler. [doi]
- Towards Model Validation and Verification with SAT TechniquesMartin Gogolla. [doi]
- SMT-Solving for the First-Order Theory of the RealsErika Ábrahám, Ulrich Loup. [doi]
- Solving hard instances in QF-BV combining Boolean reasoning with computer algebraMarkus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz. [doi]