FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program