bensolve tools utilizes the VLP solver BENSOLVE for polyhedral calculus and global optimization
This approach is based on theoretical results in:Löhne, A.; Weißing, B.: Equivalence between polyhedral projection, multiple objective linear programming and vector linear programming, Mathematical Methods in Operational Research 84, No. 2 (2016), 411-426: article, preprint
and
Löhne, A.; Weißing, B.: Calculus of convex polyhedra and polyhedral convex functions by utilizing a multiple objective linear programming solver, Optimization 68 No. 10 (2018), 2039-2054: article, preprint
Please cite these articles if you are using bensolve tools in scientific paper.
The research was supported by the German Research Foundation, grant number LO 1379/7-1 and LO 1379/7-2.