Sign in

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.

Theofrastos MantadelisRicardo RochaAngelika KimmigGerda Janssens
Published in: JELIA (2010)
Keyphrases
  • preprocessing
  • boolean formulae
  • relational databases
  • heuristic search
  • boolean variables