Dsharp: Fast d-DNNF Compilation with sharpSAT.

Christian J. Muise Sheila A. McIlraith J. Christopher Beck Eric I. Hsu

Published in: Canadian Conference on AI (2012)

Keyphrases

decomposable negation normal form
model counting
knowledge compilation
boolean functions
satisfiability testing
operating system
polynomial size
tree width
clustering algorithm
case study
wireless sensor networks
probability distribution
parallel processing