Approximate Satisfiability Counting.

Stefan Andrei Gabriel Manolache Roland H. C. Yap Victor Felea

Published in: SYNASC (2007)

Keyphrases

information systems
satisfiability problem
computational complexity
propositional logic
knowledge base
terminological reasoning
real world
information retrieval
case study
description logics
np complete
phase transition
sat problem