Login / Signup
Fast d-DNNF Compilation with sharpSAT.
Christian J. Muise
Sheila A. McIlraith
J. Christopher Beck
Eric I. Hsu
Published in:
Abstraction, Reformulation, and Approximation (2010)
Keyphrases
</>
model counting
knowledge compilation
decomposable negation normal form
polynomial size
real time
information systems
expert systems
databases
artificial intelligence
case study
multi agent
boolean functions
propositional formulas
prime implicates
satisfiability testing