Login / Signup

On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams.

Stephan Waack
Published in: Inf. Comput. (2001)
Keyphrases
  • ordered binary decision diagrams
  • deterministic finite automaton
  • model checking
  • search space
  • constraint satisfaction problems
  • special case
  • heuristic search