| No. |
Title |
Author |
Year |
| 1 |
SAT Interactions (Dagstuhl Seminar 12471) |
Creignou, Nadia et al. |
2013 |
| 2 |
Dependence logic with a majority quantifier |
Durand, Arnaud et al. |
2011 |
| 3 |
10061 Abstracts Collection -- Circuits, Logic, and Games |
Rossman, Benjamin et al. |
2010 |
| 4 |
10061 Executive Summary -- Circuits, Logic, and Games |
Rossman, Benjamin et al. |
2010 |
| 5 |
Complexity Results for Modal Dependence Logic |
Lohmann, Peter et al. |
2010 |
| 6 |
Proof Complexity of Propositional Default Logic |
Beyersdorff, Olaf et al. |
2010 |
| 7 |
The Complexity of Reasoning for Fragments of Autoepistemic Logic |
Creignou, Nadia et al. |
2010 |
| 8 |
06451 Abstracts Collection -- Circuits, Logic, and Games |
Schwentick, Thomas et al. |
2007 |
| 9 |
06451 Executive Summary -- Circuits, Logic, and Games |
Schwentick, Thomas et al. |
2007 |
| 10 |
06401 Abstracts Collection -- Complexity of Constraints |
Creignou, Nadia et al. |
2006 |
