Efficiently Repairing Internationalization Presentation Failures by Solving Layout Constraints.
Abdulmajeed AlameerPaul T. ChiouWilliam G. J. HalfondPublished in: ICST (2019)
Keyphrases
- constrained problems
- prune the search space
- linear constraints
- constraint satisfaction
- constraint problems
- linear programming problems
- search algorithm
- nonlinear programming
- mixed integer program
- failure detection
- neural network
- sat encodings
- constraint solving
- solving problems
- global constraints
- constraint satisfaction problems
- multimedia