Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach.
Shaukat AliMuhammad Zohaib IqbalMaham KhalidAndrea ArcuriPublished in: Empir. Softw. Eng. (2016)
Keyphrases
- constraint solving
- constraint solver
- logical operations
- search algorithm
- constraint propagation
- search strategies
- constraint satisfaction problems
- tree search
- search methods
- constraint solvers
- constraint logic programming
- constraint satisfaction
- databases
- constraint programming
- branch and bound
- integrity constraints
- heuristic search
- linear programming
- special case
- image analysis
- data structure