Making Rigorous Linear Programming Practical for Program Analysis.
Tengbin WangLiqian ChenTaoqing ChenGuangsheng FanJi WangPublished in: CP (2021)
Keyphrases
- linear programming
- linear program
- quadratic programming
- nonlinear programming
- practical application
- feasible solution
- information systems
- case study
- three dimensional
- relational databases
- mathematical foundations
- network flow
- dynamic programming
- data sets
- computational complexity
- optimal solution
- high level
- machine learning
- neural network