| 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 |
A Survey of Static Variable Ordering Heuristics for Efficient BDD/MDD Construction Sanjay Kulhari