Sign in

Heuristics for Fast Exact Model Counting.

Tian SangPaul BeameHenry A. Kautz
Published in: SAT (2005)
Keyphrases
  • model counting
  • weighted model counting
  • polynomial size
  • knowledge compilation
  • search algorithm
  • heuristic search
  • satisfiability testing
  • search strategies
  • probabilistic inference
  • search space
  • heuristic function