Axis: Automatically fixing atomicity violations through solving control constraints.
Peng LiuCharles ZhangPublished in: ICSE (2012)
Keyphrases
- linear programming problems
- constraint violations
- control system
- constraint satisfaction
- constraint programming
- automatically generated
- optimal control
- control method
- finite domain
- multidatabase systems
- mixed integer program
- constraint problems
- equality constraints
- constrained problems
- mixed integer
- reducing the search space
- constrained optimization
- electronic commerce
- np hard