Enhancing SAT-based sequential depth computation by pruning search space.
Yung-Chih ChenChun-Yao WangPublished in: ACM Great Lakes Symposium on VLSI (2009)
Keyphrases
- search space
- sat solvers
- effective pruning
- search algorithm
- metaheuristic
- heuristic search
- search strategy
- ai planning
- search tree
- reduce the search space
- search procedure
- solution space
- branch and bound
- state space
- constraint satisfaction problems
- exhaustive search
- optimal solution
- prune the search space
- global optimum
- fitness function
- depth map
- flow velocity
- boolean satisfiability
- version space
- constraint propagation