Login / Signup
Backdoors to q-Horn.
Serge Gaspers
Sebastian Ordyniak
M. S. Ramanujan
Saket Saurabh
Stefan Szeider
Published in:
STACS (2013)
Keyphrases
</>
np hard
hidden structure
satisfiability problem
sat solvers
propositional logic
horn theories
sat instances
case study
database systems
special case
horn logic
data sets
databases
artificial intelligence
multi agent systems
temporal logic