6 search results - page 2 / 2 » Solving Factored MDPs via Non-Homogeneous Partitioning |
ICCAD
2001
IEEE
14 years 2 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...