Keyword:linear programming

Publications
Mathematical Models and Formulas for AI in Cybersecurity: a Hybrid Cloud Approach Lincoln Whitelegge EasyChair Preprint 15079
The Notion of the Quasicentral Path in Linear Programming Miguel Argaez, Oswaldo Mendez and Leticia Velazquez EasyChair Preprint 9120
Linear Programming Model for Single-Line Passenger Flow Control During Subway Peak Hours Qiuchen Zhang, Qin Luo, Wei Li and Xiongfei Zhang EasyChair Preprint 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 3444
External Tools for the Formal Proof of the Kepler Conjecture Thomas C. Hales In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving