Reasoning on Sequences in Constraint-Based Local Search Frameworks. - Landtsheer, Renaud De; Guyot, Yoann; Ospina, Gustavo; Germeau, Fabian; Ponsard, Christophe (2018)

Quality of Care Driven Scheduling of Clinical Pathways Under Resource and Ethical Constraints. - Ponsard, Christophe; Landtsheer, Renaud De; Guyot, Yoann; Roucoux, François; Lambeau, Bernard (2017)

Decision Making Support in the Scheduling of Chemotherapy Coping with Quality of Care, Resources and Ethical Constraints. - Ponsard, Christophe; Landtsheer, Renaud De; Guyot, Yoann; Roucoux, François; Lambeau, Bernard (2017)

Supporting Efficient Global Moves on Sequences in Constraint-based Local Search Engines. - Landtsheer, Renaud De; Ospina, Gustavo; Guyot, Yoann; Germeau, Fabian; Ponsard, Christophe (2017)

OscaR, an Open Source Toolbox for Optimising Logistics and Supply Chain Systems. - Landtsheer, Renaud De; Ponsard, Christophe; Guyot, Yoann (ERCIM News, 2016)

Integrating SMT solvers in Rodin. - Déharbe, David; Fontaine, Pascal; Guyot, Yoann; Voisin, Laurent (Sci. Comput. Program., 2014)

SMT Solvers for Rodin. - Déharbe, David; Fontaine, Pascal; Guyot, Yoann; Voisin, Laurent (2012)