![Heuristics / Binary decision diagram / Boolean algebra / Diagrams / Model checking / Heuristic function / Directed acyclic graph / Heuristic / Mathematical optimization / Mathematics / Graph theory / Operations research Heuristics / Binary decision diagram / Boolean algebra / Diagrams / Model checking / Heuristic function / Directed acyclic graph / Heuristic / Mathematical optimization / Mathematics / Graph theory / Operations research](https://www.pdfsearch.io/img/03be24740235d03a2acf22e4f5a961ba.jpg)
| Document Date: 2009-01-06 17:15:24 Open Document File Size: 195,30 KBShare Result on Facebook
Company CNF / / / Facility Michael Rice University of California / Efficient BDD/MDD Construction Sanjay Kulhari University of California / / IndustryTerm good quality solutions / construction algorithm / external tools / with other applications / breadth-first search / heuristics algorithm / heuristic algorithm / dynamic variable ordering algorithms / depth-first search heuristic / reachability analysis algorithm / near-optimal solutions / heuristic depth-first search proceeds / search space / depth-first search / previously-known heuristic algorithms / / Organization Rice University / University of California / Riverside / / ProvinceOrState California / / Technology design verification / heuristic algorithm / dynamic variable ordering algorithms / MINCE algorithm / Variable Interleaving algorithm / FORCE algorithm / reachability analysis algorithm / previously-known heuristic algorithms / construction algorithm / FORCE algorithms / weighting heuristics algorithm / /
SocialTag |