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 |