Login / Signup
On Subsumption Removal and On-the-Fly CNF Simplification.
Lintao Zhang
Published in:
SAT (2005)
Keyphrases
</>
np complete
description logics
boolean functions
transitive closure
multiresolution
model counting
np hard
refinement operators
sat solvers
expert systems
preprocessing
databases
special case
real time
search algorithm
optimal solution
case study
cnf formula
artificial intelligence
sat solving