When do bounds and domain propagation lead to the same search space?
Christian SchultePeter J. StuckeyPublished in: ACM Trans. Program. Lang. Syst. (2005)
Keyphrases
- search space
- domain specific
- upper bound
- set bounds propagation
- search algorithm
- lower bound
- search strategy
- case study
- fitness function
- domain independent
- upper and lower bounds
- optimal solution
- image sequences
- state space
- artificial intelligence
- real world
- heuristic search
- solution space
- lower and upper bounds
- reduce the search space
- neural network