Dagstuhl Seminar Proceedings, Volume 9461,

• Bernd Becker, Valeria Bertacco, Rolf Drechsler, and Masahiro Fujita 09461 Abstracts Collection – Algorithms and Applications for Next Generation SAT Solvers 10.4230/DagSemProc.09461.1
• Daniel Grosse, Hoang M. Le, and Rolf Drechsler Formal Verification of Abstract SystemC Models 10.4230/DagSemProc.09461.2
• Erika Abraham and Ulrich Loup SMT-Solving for the First-Order Theory of the Reals 10.4230/DagSemProc.09461.3
• Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, and Wolfgang Kunz Solving hard instances in QF-BV combining Boolean reasoning with computer algebra 10.4230/DagSemProc.09461.4
• Robert Wille, Jean Christoph Jung, Andre Sülflow, and Rolf Drechsler SWORD – Module-based SAT Solving 10.4230/DagSemProc.09461.5
• Martin Gogolla Towards Model Validation and Verification with SAT Techniques 10.4230/DagSemProc.09461.6