Login / Signup
Fast Binary Image Processing Using Binary Decision Diagrams.
Luc Robert
Grégoire Malandain
Published in:
CVPR (1997)
Keyphrases
</>
binary decision diagrams
image processing
boolean functions
symbolic model checking
model checking
variable ordering
planning problems
artificial intelligence
knowledge compilation
object oriented