Yoann Guyot

According to our database, Yoann Guyot authored at least 7 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Reasoning on Sequences in Constraint-Based Local Search Frameworks.

Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Fabian Germeau, Christophe Ponsard

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

2017

Supporting Efficient Global Moves on Sequences in Constraint-based Local Search Engines.

Renaud De Landtsheer, Gustavo Ospina, Yoann Guyot, Fabian Germeau, Christophe Ponsard

Proceedings of the 6th International Conference on Operations Research and Enterprise Systems, 2017

Quality of Care Driven Scheduling of Clinical Pathways Under Resource and Ethical Constraints.

Christophe Ponsard, Renaud De Landtsheer, Yoann Guyot, François Roucoux, Bernard Lambeau

Proceedings of the Enterprise Information Systems - 19th International Conference, 2017

Decision Making Support in the Scheduling of Chemotherapy Coping with Quality of Care, Resources and Ethical Constraints.

Christophe Ponsard, Renaud De Landtsheer, Yoann Guyot, François Roucoux, Bernard Lambeau

Proceedings of the ICEIS 2017, 2017

2016

OscaR, an Open Source Toolbox for Optimising Logistics and Supply Chain Systems.

Renaud De Landtsheer, Christophe Ponsard, Yoann Guyot

ERCIM News, 2016

2014

Integrating SMT solvers in Rodin.

David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin

Sci. Comput. Program., 2014

2012

SMT Solvers for Rodin.

David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012