Login / Signup

On random orderings of variables for parity ordered binary decision diagrams.

Petr Savický
Published in: Random Struct. Algorithms (2000)
Keyphrases
  • ordered binary decision diagrams
  • constraint problems
  • deterministic finite automaton
  • constraint satisfaction problems
  • randomly generated
  • quantified boolean formulae
  • first order logic
  • constraint satisfaction