FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
Capelli, Florent	Tractability results for structured quantified CNF-formulas via knowledge compilation (PDF, talk)
H
Hoos, Holger	Portfolio-Based Algorithm Selection for Circuit QBFs (PDF, talk)
J
Janssens, Gerda	A Grounder From Second-Order Logic To QBF (PDF, talk)
M
Mengel, Stefan	Tractability results for structured quantified CNF-formulas via knowledge compilation (PDF, talk)
P
Peitl, Tomáš	Portfolio-Based Algorithm Selection for Circuit QBFs (PDF, talk)
S
Slivovsky, Friedrich	Portfolio-Based Algorithm Selection for Circuit QBFs (PDF, talk)
Suda, Martin	Towards the Semantics of QBF Clauses (PDF, talk)
Szeider, Stefan	Portfolio-Based Algorithm Selection for Circuit QBFs (PDF, talk)
V
van der Hallen, Matthias	A Grounder From Second-Order Logic To QBF (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program