On Line 2-Satisfiability.

Brigitte Jaumard P. Marchioro Aurora Morgana Rossella Petreschi Bruno Simeone

Published in: Ann. Math. Artif. Intell. (1990)

Keyphrases

np complete
satisfiability problem
propositional logic
computational complexity
decision procedures
quantified boolean formulas
databases
data mining
database systems
phase transition
sat solving
terminological reasoning