Fixed-parameter algorithms for artificial intelligence, constraint satisfaction and database problems - Gottlob, Georg; Szeider, Stefan
Keywords: Artificial intelligence; Constraint satisfaction; Parameterized algorithms