Binary Decision Diagrams on Modern Hardware.

Samuel Pastva Thomas A. Henzinger

Published in: FMCAD (2023)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
low cost
real time
model checking
planning problems
hardware implementation
partial observability
data sets
machine learning
variable ordering
artificial intelligence