Satisfiability Judgement under Incomplete Information.

Anna Gomolinska

Published in: Trans. Rough Sets (2010)

Keyphrases

satisfiability problem
phase transition
np complete
propositional logic
quantified boolean formulas
terminological reasoning
computational complexity
sat problem
decision procedures
databases
constraint satisfaction
satisfiability testing
computational properties
propositional theories