VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: BCDFGIPSTW
B
backdoor set
backdoor sets
backdoors
C
causal graph
complexity
complexity hierarchies
computational social choice
connection matrices
constraint satisfaction
CP-nets
D
derivability
disjunctive answer set programming
F
fixed parameter tractability
fixed parameter tractable
fixed-parameter tractability
Fixed-parameter tractable algorithms
formulas with two occurrences
G
graph algorithms
I
important separators
intuitionistic modal logic
P
parameterized complexity
planning
S
satisfiability
structural decompositions
T
treewidth
W
W[2]-hardness