Sign in

An Exhaustive DPLL Algorithm for Model Counting.

Umut OztokAdnan Darwiche
Published in: J. Artif. Intell. Res. (2018)
Keyphrases
  • objective function
  • randomly generated
  • search space
  • probabilistic model
  • propositional logic