Login / Signup

Reasoning with Ordered Binary Decision Diagrams.

Takashi HoriyamaToshihide Ibaraki
Published in: ISAAC (2000)
Keyphrases
  • ordered binary decision diagrams
  • deterministic finite automaton
  • knowledge base
  • knowledge representation
  • reasoning tasks
  • model checking
  • automated reasoning
  • computational properties
  • constraint problems