) Using Mod2-OBDDs.

José Luis Imaña

Published in: Intell. Inf. Manag. (2010)

Keyphrases

boolean functions
ordered binary decision diagrams
model checking
temporal logic
machine learning
image quality