Backdoors to q-Horn.

Serge Gaspers Sebastian Ordyniak M. S. Ramanujan Saket Saurabh Stefan Szeider

Published in: Algorithmica (2016)

Keyphrases

np hard
hidden structure
satisfiability problem
horn theories
propositional logic
knowledge compilation
artificial intelligence
image sequences
functional dependencies
sat solvers
horn clauses
canonical representation
horn logic