Dagstuhl Seminar Proceedings 09461

Algorithms and Applications for Next Generation SAT Solvers

B. Becker, V. Bertacoo, R. Drechsler, M. Fujita (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 09461, 08.11. - 13.11.2009
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Abraham, Erika
  • Becker, Bernd
  • Bertacco, Valeria
  • Drechsler, Rolf
  • Dreyer, Alexander
  • Fujita, Masahiro
  • Gogolla, Martin
  • Greuel, Gert-Martin
  • Grosse, Daniel
  • Jung, Jean Christoph
  • Kunz, Wolfgang
  • Le, Hoang M.
  • Loup, Ulrich
  • Pavlenko, Evgeny
  • Sülflow, Andre
  • Seelisch, Frank
  • Stoffel, Dominik
  • Wedler, Markus
  • Wille, Robert
    		•

    		  
    09461 Abstracts Collection -- Algorithms and Applications for Next Generation SAT Solvers
    Authors: Becker, Bernd ; Bertacco, Valeria ; Drechsler, Rolf ; Fujita, Masahiro

    Abstract | Document (191 KB) | BibTeX

    Formal Verification of Abstract SystemC Models
    Authors: Grosse, Daniel ; Le, Hoang M. ; Drechsler, Rolf

    Abstract | Document (105 KB) | BibTeX

    SMT-Solving for the First-Order Theory of the Reals
    Authors: Abraham, Erika ; Loup, Ulrich

    Abstract | Document (142 KB) | BibTeX

    Solving hard instances in QF-BV combining Boolean reasoning with computer algebra
    Authors: Wedler, Markus ; Pavlenko, Evgeny ; Dreyer, Alexander ; Seelisch, Frank ; Stoffel, Dominik ; Greuel, Gert-Martin ; Kunz, Wolfgang

    Abstract | Document (743 KB) | BibTeX

    SWORD -- Module-based SAT Solving
    Authors: Wille, Robert ; Jung, Jean Christoph ; Sülflow, Andre ; Drechsler, Rolf

    Abstract | Document (85 KB) | BibTeX

    Towards Model Validation and Verification with SAT Techniques
    Authors: Gogolla, Martin

    Abstract | Document (270 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint
    Published by LZI