CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions.
Junaid BabarGianfranco CiardoAndrew S. MinerPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- binary decision diagrams
- edge information
- edge detector
- edge map
- weighted graph
- edge detection
- edge pixels
- step edges
- edge enhancement
- undirected graph
- edge direction
- edge segments
- boolean functions
- edge orientation
- image edges
- symbolic model checking
- edge detection algorithm
- variable ordering
- multiple scales
- detected edges
- edge weights
- planning problems
- edge localization
- edge points
- zero crossing
- model checking
- directed graph