Keyword:linear programming

Papers
Linear Programming Model for Single-Line Passenger Flow Control During Subway Peak Hours Qiuchen Zhang, Qin Luo, Wei Li and Xiongfei Zhang EasyChair Preprint no. 4139
An Integrated Linear Programming Approach in Optimization of Crops Arindam Biswas, Priti Thadani, Ankita Dikshit, Sukla Atha, Ananya Biswas, Ansh Gupta, Chayan Halder and Anirban Das EasyChair Preprint no. 3444
External Tools for the Formal Proof of the Kepler Conjecture Thomas Hales In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving