Distributed binary decision diagrams for symbolic reachability.

Wytse Oortwijn Tom van Dijk Jaco van de Pol

Published in: SPIN (2017)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
distributed systems
planning problems
model checking
distributed environment
variable ordering
knowledge compilation
state space
domain independent
database
real world
optimal solution
dynamic programming