Synthesizing MILP Constraints for Efficient and Robust Optimization

Computer Science

• Approximation Technique 40%
• Boolean Logic 60%
• Decision Variable 20%
• Engineering Problem 20%
• Experimental Result 20%
• Linear Constraint 40%
• Machine Learning 20%
• Mixed-Integer Linear Programming 100%
• Robust Optimization 100%
• Specification Language 20%

Engineering

• Boolean Logic 60%
• Decision Variable 20%
• End-Users 20%
• Engineering Problem 20%
• Experimental Result 20%
• Expressiveness 20%
• Iterative Procedure 20%
• Mixed-Integer Linear Programming 100%
• Synthesis Method 40%
• Tasks 20%

Keyphrases

• Boolean Logic Operation 60%