Login / Signup

Fast Binary Image Processing Using Binary Decision Diagrams.

Luc RobertGrégoire Malandain
Published in: Comput. Vis. Image Underst. (1998)
Keyphrases
  • binary decision diagrams
  • image processing
  • boolean functions
  • symbolic model checking
  • knowledge compilation
  • model checking
  • planning problems
  • variable ordering
  • data sets