Binary Decision Diagrams with Edge-Specified Reductions.

Junaid Babar Chuan Jiang Gianfranco Ciardo Andrew S. Miner

Published in: TACAS (2) (2019)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
edge detection
planning problems
variable ordering
artificial intelligence
general purpose
database
data warehouse
partial observability