Satisfiability of mixed Horn formulas.

Stefan Porschen Ewald Speckenmeyer

Published in: Discret. Appl. Math. (2007)

Keyphrases

horn formulas
knowledge compilation
satisfiability problem
np complete
cnf formula
artificial intelligence
phase transition