Constraints for membership in formal languages under systematic search and stochastic local search.
Jun HePublished in: Constraints An Int. J. (2015)
Keyphrases
- stochastic local search
- systematic search
- formal languages
- constraint propagation
- satisfiability problem
- phase transition
- search methods
- constraint satisfaction
- hill climbing
- search algorithm
- constraint programming
- max sat
- natural language
- neural network
- randomly generated
- simulated annealing
- tree search
- search space