SAT 2016: 19TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING

B
Beyersdorff, Olaf	Dependency Schemes in QBF Calculi: Semantics and Soundness
Blinkhorn, Joshua	Dependency Schemes in QBF Calculi: Semantics and Soundness
C
Charwat, Günther	Dynamic Programming-based QBF Solving
D
Diptarama,	QBF Encoding of Generalized Tic-Tac-Toe
J
Janota, Mikolas	On Conflicts and Strategies in QBF
Janota, Mikolas	Short Presentations of Submissions to QBF Eval 2016
K
Kleine Büning, Hans	Open Problems for Quantified Boolean Formulas
Korovin, Konstantin	Short Presentations of Submissions to QBF Eval 2016
L
Lonsing, Florian	Discussion
Lonsing, Florian	Short Presentations of Submissions to QBF Eval 2016
P
Pulina, Luca	QBFEval 2016
R
Rabe, Markus	Short Presentations of Submissions to QBF Eval 2016
S
Scholl, Christoph	Skolem Functions for DQBF
Seidl, Martina	Discussion
Shinohara, Ayumi	QBF Encoding of Generalized Tic-Tac-Toe
Suda, Martin	First-Order Logic and Blocked Clauses
T
Tasharrofi, Shahab	Short Presentations of Submissions to QBF Eval 2016
Tentrup, Leander	Short Presentations of Submissions to QBF Eval 2016
V
Van Gelder, Allen	Short Presentations of Submissions to QBF Eval 2016
W
Wimmer, Ralf	Skolem Functions for DQBF
Woltran, Stefan	Dynamic Programming-based QBF Solving
Y
Yoshinaka, Ryo	QBF Encoding of Generalized Tic-Tac-Toe

Disclaimer | Powered by EasyChair Smart Program