CSPs with counters: a likelihood-based heuristic.
Gadi SolotorevskySolomon Eyal ShimonyAmnon MeiselsPublished in: J. Exp. Theor. Artif. Intell. (1998)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- maximum likelihood
- tabu search
- search algorithm
- backtracking search
- constraint propagation
- search strategies
- arc consistency
- exact algorithms
- heuristic function
- optimal solution
- np complete
- simulated annealing
- search space
- constraint programming
- knapsack problem
- lower bound
- floating point
- non binary
- forward checking