Login / Signup
Binary Decision Diagrams by Shard Rewriting.
Jaco van de Pol
Hans 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