Lattice-Valued Binary Decision Diagrams.

Gilles Geeraerts Gabriel Kalyon Tristan Le Gall Nicolas Maquet Jean-François Raskin

Published in: ATVA (2010)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
planning problems
variable ordering
model checking
knowledge compilation
artificial intelligence
domain independent
database
real world