2017: Guillaume Derval

OscaR-Modeling, a modeling layer for OscaR including transparent parallelism

2016: Filipe Brandao

VPSolver - a vector packing solver based on an arc-flow formulation with graph compression

2015: Broes De Cat

IDP + MinisatID – Multi-inference Knowledge Base System


2014: Nicolas Boumal and Bamdev Mishra

ManOpt – A Matlab toolbox for optimization on manifolds


2013: Tias Guns

CP4IM – Constraint Programming for Itemset Mining

Print Friendly