Thibaut Feydy

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 3

Top Topics

Symmetry Breaking

Constraint Programming

Top Venues

Publications

Kenneth D. Young, Thibaut Feydy, Andreas Schutt
Constraint Programming Applied to the Multi-Skill Project Scheduling Problem. CP (2017)
Thibaut Feydy, Peter J. Stuckey
Interval Constraints with Learning: Application to Air Traffic Control. CP (2016)
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Unsatisfiable Cores and Lower Bounding for Constraint Programming. CoRR (2015)
Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer
The MiniZinc Challenge 2008-2013. AI Mag. 35 (2) (2014)
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CPAIOR (2013)
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
Scheduling Optional Tasks with Explanation. CP (2013)
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
Solving RCPSP/max by lazy clause generation. J. Sched. 16 (3) (2013)
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Unsatisfiable Cores for Constraint Programming CoRR (2013)
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Explaining Flow-Based Propagation. CPAIOR (2012)
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint CoRR (2012)
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Explaining alldifferent. ACSC (2012)
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
Explaining the cumulative propagator. Constraints An Int. J. 16 (3) (2011)
Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey
Half Reification and Flattening. CP (2011)
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation CoRR (2010)
Timo Berthold, Thibaut Feydy, Peter J. Stuckey
Rapid Learning for Binary Programs. CPAIOR (2010)
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace
Why Cumulative Decomposition Is Not as Bad as It Sounds. CP (2009)
Thibaut Feydy, Peter J. Stuckey
Lazy Clause Generation Reengineered. CP (2009)
Thibaut Feydy, Peter J. Stuckey
Propagating systems of dense linear integer constraints. Constraints An Int. J. 14 (2) (2009)
Thibaut Feydy, Andreas Schutt, Peter J. Stuckey
Global difference constraint propagation for finite domain solvers. PPDP (2008)
Thibaut Feydy, Peter J. Stuckey
Propagating dense systems of integer linear equations. SAC (2007)