TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
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 |