Propagating dense systems of integer linear equations. - Thibaut Feydy; Peter J. Stuckey (SAC, 2007)

Global difference constraint propagation for finite domain solvers. - Thibaut Feydy; Andreas Schutt; Peter J. Stuckey (PPDP, 2008)

Lazy Clause Generation Reengineered. - Thibaut Feydy; Peter J. Stuckey (CP, 2009)

Why Cumulative Decomposition Is Not as Bad as It Sounds. - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark Wallace 001 (CP, 2009)

Propagating systems of dense linear integer constraints. - Thibaut Feydy; Peter J. Stuckey (Constraints An Int. J., 2009)

Rapid Learning for Binary Programs. - Timo Berthold; Thibaut Feydy; Peter J. Stuckey (CPAIOR, 2010)

Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace 001 (CoRR, 2010)

Constraint programming: improving propagation. - Thibaut Feydy (2010)

Half Reification and Flattening. - Thibaut Feydy; Zoltan Somogyi; Peter J. Stuckey (CP, 2011)

Explaining the cumulative propagator. - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace 001 (Constraints An Int. J., 2011)

Explaining alldifferent. - Nicholas Downing; Thibaut Feydy; Peter J. Stuckey (ACSC, 2012)

Explaining Flow-Based Propagation. - Nicholas Downing; Thibaut Feydy; Peter J. Stuckey (CPAIOR, 2012)

Scheduling Optional Tasks with Explanation. - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey (CP, 2013)

Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey (CPAIOR, 2013)

Unsatisfiable Cores for Constraint Programming - Nicholas Downing; Thibaut Feydy; Peter J. Stuckey (CoRR, 2013)

Solving RCPSP/max by lazy clause generation. - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace 001 (J. Sched., 2013)

The MiniZinc Challenge 2008-2013. - Peter J. Stuckey; Thibaut Feydy; Andreas Schutt; Guido Tack; Julien Fischer (AI Mag., 2014)

Unsatisfiable Cores and Lower Bounding for Constraint Programming. - Nicholas Downing; Thibaut Feydy; Peter J. Stuckey (CoRR, 2015)

Interval Constraints with Learning: Application to Air Traffic Control. - Thibaut Feydy; Peter J. Stuckey (CP, 2016)

Constraint Programming Applied to the Multi-Skill Project Scheduling Problem. - Kenneth D. Young; Thibaut Feydy; Andreas Schutt (CP, 2017)