FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Batty, Mark	PrideMM: QBFEVAL Benchmarks (QBFEval18 Contribution)
Becker, Bernd	Preprocessing for (D)QBF
Beyersdorff, Olaf	Discussion
Beyersdorff, Olaf	Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs
Blinkhorn, Joshua	Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs
C
Capelli, Florent	Tractability results for structured quantified CNF-formulas via knowledge compilation
Chen, Hubie	Discussion
Clymo, Judith	Short Proofs in QBF Expansion
Cooksey, Simon	PrideMM: QBFEVAL Benchmarks (QBFEval18 Contribution)
D
Diller, Martin	Initial study on the effect of different QBF solvers and preprocessors on link-information sensitive QBF encodings for Abstract Dialectical Frameworks
E
Egly, Uwe	Initial study on the effect of different QBF solvers and preprocessors on link-information sensitive QBF encodings for Abstract Dialectical Frameworks
G
Grigore, Radu	PrideMM: QBFEVAL Benchmarks (QBFEval18 Contribution)
H
Hinde, Luke	Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs
Hoos, Holger	Portfolio-Based Algorithm Selection for Circuit QBFs
J
Janota, Mikolas	RAReQS, QFUN, QESTO (QBFEval'18 Contribution)
Janota, Mikolas	PrideMM: QBFEVAL Benchmarks (QBFEval18 Contribution)
Janssens, Gerda	A Grounder From Second-Order Logic To QBF
K
Kauers, Manuel	The Symmetry Rule for Quantified Boolean Formulas
L
Lonsing, Florian	DepQBF (QBFEval'18 Contribution)
Lonsing, Florian	Discussion
M
Mahajan, Meena	Lower Bound Techniques for QBF Proof Systems
Mengel, Stefan	Tractability results for structured quantified CNF-formulas via knowledge compilation
P
Peitl, Tomas	Chess Solving and Composing (QBFEval18 Contribution)
Peitl, Tomáš	Portfolio-Based Algorithm Selection for Circuit QBFs
Pulina, Luca	QBFEval 2018
R
Rabe, Markus	Understanding and Extending Incremental Determinization for 2QBF
Rasmussen, Cameron	Understanding and Extending Incremental Determinization for 2QBF
Reimer, Sven	Preprocessing for (D)QBF
S
Scholl, Christoph	Preprocessing for (D)QBF
Seidl, Martina	The Symmetry Rule for Quantified Boolean Formulas
Seidl, Martina	Discussion
Seshia, Sanjit A.	Understanding and Extending Incremental Determinization for 2QBF
Slivovsky, Friedrich	Portfolio-Based Algorithm Selection for Circuit QBFs Qute (QBFEval'18 Contribution)
Suda, Martin	Towards the Semantics of QBF Clauses
Szeider, Stefan	Portfolio-Based Algorithm Selection for Circuit QBFs
T
Tentrup, Leander	Understanding and Extending Incremental Determinization for 2QBF
V
van der Hallen, Matthias	A Grounder From Second-Order Logic To QBF
W
Wimmer, Karina	Preprocessing for (D)QBF
Wimmer, Ralf	Preprocessing for (D)QBF

Disclaimer | Powered by EasyChair Smart Program