FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Algorithm selection	Portfolio-Based Algorithm Selection for Circuit QBFs (PDF, talk)
F
fixed parameter tractable	Tractability results for structured quantified CNF-formulas via knowledge compilation (PDF, talk)
G
Grounding	A Grounder From Second-Order Logic To QBF (PDF, talk)
K
knowledge compilation	Tractability results for structured quantified CNF-formulas via knowledge compilation (PDF, talk)
M
Modelling Languages	A Grounder From Second-Order Logic To QBF (PDF, talk)
P
Portfolio	Portfolio-Based Algorithm Selection for Circuit QBFs (PDF, talk)
Q
QBF	Portfolio-Based Algorithm Selection for Circuit QBFs (PDF, talk) Towards the Semantics of QBF Clauses (PDF, talk) A Grounder From Second-Order Logic To QBF (PDF, talk)
QDimacs	A Grounder From Second-Order Logic To QBF (PDF, talk)
quantification	Tractability results for structured quantified CNF-formulas via knowledge compilation (PDF, talk)
Quantified Circuit	Portfolio-Based Algorithm Selection for Circuit QBFs (PDF, talk)
R
Resolution Calculi	Towards the Semantics of QBF Clauses (PDF, talk)
S
Second Order Logic	A Grounder From Second-Order Logic To QBF (PDF, talk)
semantics	Towards the Semantics of QBF Clauses (PDF, talk)
T
treewidth	Tractability results for structured quantified CNF-formulas via knowledge compilation (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program