Login / Signup

Binary Decision Diagrams by Shard Rewriting.

Jaco van de PolHans Zantema
Published in: MFCS (2000)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • planning problems
  • variable ordering
  • model checking
  • knowledge compilation
  • database
  • conjunctive queries
  • machine learning
  • expert systems