HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2022 easychair.org. All rights reserved.