Login / Signup

Reasoning with ordered binary decision diagrams.

Takashi HoriyamaToshihide Ibaraki
Published in: Discret. Appl. Math. (2004)
Keyphrases
  • ordered binary decision diagrams
  • deterministic finite automaton
  • knowledge representation
  • genetic algorithm
  • reasoning tasks
  • knowledge base
  • automated reasoning