|
Workshops
| |
|
♦ |
|
International Workshop on Quantified Boolean Formulas, 2013 |
| |
This workshop was co-located with SAT'13 in Helsinki, Finland.
The goal of the QBF workshop is to bring together researchers working
on theoretical and practical aspects of QBF solving. The aim of this
workshop is to provide an interactive platform for discussing recent
advances and alternative approaches for solving QSAT. In addition, it
aims to acquaint potential users of QBF with the state-of-the-art
and to consolidate immediate and long-term research challenges.
•
to the workshop website
|
| |
|
♦ |
|
11th International Workshop on Satisfiability Modulo Theories, 2013 |
| |
This workshop was co-located with SAT'13 in Helsinki, Finland.
"Determining the satisfiability of first-order formulas modulo
background theories, known as the Satisfiability Modulo Theories (SMT)
problem, has proved to be an enabling technology for verification,
synthesis, test generation, compiler optimization, scheduling, and
other areas. The success of SMT techniques depends on the development
of both domain-specific decision procedures for each background theory
(e.g., linear arithmetic, the theory of arrays, or the theory of
bit-vectors) and combination methods that allow one to obtain more
versatile SMT tools, usually leveraging Boolean satisfiability (SAT)
solvers. These ingredients together make SMT techniques well-suited
for use in larger automated reasoning and verification efforts."
•
to the workshop website
|
| |
|
♦ |
|
Pragmatics of SAT, 2013 |
| |
This workshop was co-located with SAT'13 in Helsinki, Finland.
Organizers include Allen Vangelder, Daniel LeBarre.
The aim of the pragmatics of SAT workshop is to allow researchers
concerned with the design of efficient SAT solvers or SAT encodings to
meet and discuss their latest results.
•
to the workshop website
|
| |
|
♦ |
|
SAT Interactions, 2012 |
| |
This workshop will be held at Schloss Dagstuhl, Germany, in 2012.
It is organized by Nadia Creignou, Nicola Galesi, Oliver Kullmann, and
Heribert Vollmer. One of the main aims of the proposed Dagstuhl
Seminar is to bring together researchers from different areas of
activity in SAT (with an emphasize on mathematical aspects), so that
they can communicate state-of-the-art advances and embark on a
systematic interaction that will enhance the synergy between the
different areas. In particular, the following topics will be
considered during the seminar:
phase transition for satisfiability problems,
complexity classifications for variants and fragments of satisfiability,
proof complexity, combinatorics and SAT-techniques, and
exponential-time algorithms.
•
to the workshop website
|
| |
|
♦ |
|
Pragmatics of SAT, 2012 |
| |
This workshop was part of SAT'12 in Trento, Italy.
Organizers include Allen Vangelder, Daniel LeBarre.
The aim of the pragmatics of SAT workshop is to allow researchers
concerned with the design of efficient SAT solvers or SAT encodings to
meet and discuss about their latest results.
•
to the workshop website
|
| |
|
♦ |
|
Pragmatics of SAT, 2011 |
| |
This workshop was part of SAT'11 in Ann Arbor, Michigan, USA.
Organizers include Allen Vangelder, Daniel LeBarre,
Armin Biere.
The aim of the pragmatics of SAT workshop is to allow researchers
concerned with the design of efficient SAT solvers or SAT encodings to
meet and discuss about their latest results.
•
to the workshop website
|
| |
|
♦ |
|
Workshop on Practical Applications of SAT, 2011 |
| |
This workshop was part of SAT'11 in Ann Arbor, Michigan, USA.
It was organized by Carsten Sinz.
The main objective was to better connect theory and applications.
•
to the workshop website
|
| |
|
♦ |
|
Pragmatics of SAT, 2010 |
| |
This workshop was part of FLoC'10 in Edinburgh, Scotland, UK.
Organizers include Carsten Sinz, Allen Vangelder, Daniel LeBarre,
Armin Biere, Armando Tacchella.
The aim of the pragmatics of SAT workshop is to allow researchers
concerned with the design of efficient SAT solvers or SAT encodings to
meet and discuss about their latest results.
•
to the workshop website
|
| |
|
♦ |
|
The Propositional Satisfiability Problem --
Algorithms and Lower Bounds, 2003 |
| |
This workshop was held at Schloss Dagstuhl, Germany, in 2003.
It was organized by Andeas Goerdt, Pavel Pudlák, Uwe Schöning,
and Osamu Watanabe. This was one of the early workshops intends to
foster collaborations between people concerned with theoretical aspects
of SAT and people concerned with developing SAT solving systems.
•
to the workshop report
|
| |
|
♦ |
|
Workshop on Computational Complexity and
Statistical Analysis, 2001 |
| |
This workshop was held in Santa Fe, New Mexico, USA, in 2001.
It was organized by Gabriel Istrate, Allon Percus, and Chris Moore.
The main objective was to better understand the connection between
phase transitions and hardness.
•
to the workshop report
|
| |
|
♦ |
|
Workshop on Satisfiability, 1996 |
| |
This workshop was held in Siena, Italy, in 1996. It was the first
workshop on Satisfiability and the forerunner of the series entitled
International Conference on the Theory and Applications of
Satisfiability Testing. Organizers were John Franco (Cincinnati),
Ewald Speckenmeyer (Köln), Giorgio Gallo (Pisa), Hans Kleine Büning
(Paderborn). The workshop covered most aspects of propositional
satisfiability including algorithms, probabilistic and empirical analysis,
special subclasses. Selected papers are published in a special issue of
Discrete Applied Mathematics, 96-97, Elsevier, 2000.
•
to the original conference website
•
to the conference report
|
| |
|
|
|
|
|