Improved heuristics for solving OCL constraints using search algorithms.
Shaukat AliMuhammad Zohaib IqbalAndrea ArcuriPublished in: GECCO (2014)
Keyphrases
- search algorithm
- variable ordering heuristics
- heuristic search
- solving constraint satisfaction problems
- admissible heuristics
- constraint language
- linear programming problems
- constraint solvers
- constraint programming
- constraint satisfaction problems
- search heuristics
- constraint solving
- search algorithm for solving
- search tree
- branch and bound search
- sat encodings
- tree search
- branch and bound
- suboptimal solutions
- stochastic local search algorithms
- constraint satisfaction
- linear program
- satisfiability problem
- search space
- linear programming
- reducing the search space
- constrained problems
- mixed integer program
- search methods
- search strategy
- timetabling problem
- constraint networks
- metamodel
- constraint solver
- combinatorial optimization
- tabu search
- integer program
- metaheuristic
- search strategies
- object oriented