Thibaut Feydy

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Interval Constraints with Learning: Application to Air Traffic Control.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Unsatisfiable Cores and Lower Bounding for Constraint Programming.

[BibT_eX]

[DOI]

CoRR, 2015

2014

The MiniZinc Challenge 2008-2013.

[BibT_eX]

[DOI]

AI Mag., 2014

2013

Solving RCPSP/max by lazy clause generation.

[BibT_eX]

[DOI]

J. Sched., 2013

Unsatisfiable Cores for Constraint Programming

[BibT_eX]

[DOI]

CoRR, 2013

Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Scheduling Optional Tasks with Explanation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Explaining Flow-Based Propagation.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Explaining alldifferent.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth Australasian Computer Science Conference, 2012

2011

Explaining the cumulative propagator.

[BibT_eX]

[DOI]

Constraints An Int. J., 2011

Half Reification and Flattening.

[BibT_eX]

[DOI]

Zoltan Somogyi

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation

[BibT_eX]

[DOI]

CoRR, 2010

Rapid Learning for Binary Programs.

[BibT_eX]

[DOI]

Timo Berthold

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

2009

Propagating systems of dense linear integer constraints.

[BibT_eX]

[DOI]

Constraints An Int. J., 2009

Why Cumulative Decomposition Is Not as Bad as It Sounds.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Lazy Clause Generation Reengineered.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Global difference constraint propagation for finite domain solvers.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007

Propagating dense systems of integer linear equations.

[BibT_eX]

[DOI]