Thierry Petit

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 6

Top Topics

Generalized Arc Consistency

Constraint Programming

Boolean Constraints

Constraint Satisfaction Problems

Top Venues

Publications

Thierry Petit, Randy J. Zauhar
A Constraint Programming Approach to Weighted Isomorphic Mapping of Fragment-based Shape Signatures. CoRR (2021)
Thierry Petit, Andrew C. Trapp
Enriching Solutions to Combinatorial Problems via Solution Engineering. INFORMS J. Comput. 31 (3) (2019)
Thierry Petit
On Constraint Linear Decompositions Using Mathematical Variables. ICTAI (2017)
Thierry Petit
"Model and Run" Constraint Networks with a MILP Engine. CoRR (2016)
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
Three generalizations of the FOCUS constraint. Constraints An Int. J. 21 (4) (2016)
Thierry Petit, Lolita Petit
Optimizing Molecular Cloning of Multiple Plasmids. IJCAI (2016)
Thierry Petit, Andrew C. Trapp
Finding Diverse Solutions of High Quality to Constraint Optimization Problems. IJCAI (2015)
Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud'homme
A Global Constraint for a Tractable Class of Temporal Optimization Problems. CP (2015)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme
A Modelling Pearl with Sortedness Constraints. GCAI (2015)
Alban Derrien, Thierry Petit, Stéphane Zampelli
Dynamic Sweep Filtering Algorithm for FlexC. CoRR (2014)
Alban Derrien, Thierry Petit
A New Characterization of Relevant Intervals for Energetic Reasoning. CP (2014)
Alban Derrien, Thierry Petit, Stéphane Zampelli
A Declarative Paradigm for Robust Cumulative Scheduling. CP (2014)
Jean-Guillaume Fages, Xavier Lorca, Thierry Petit
Self-decomposable Global Constraints. ECAI (2014)
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
Three Generalizations of the FOCUS Constraint CoRR (2013)
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
Three Generalizations of the FOCUS Constraint. IJCAI (2013)
Alban Derrien, Thierry Petit
The Energetic Reasoning Checker Revisited. CoRR (2013)
Thierry Petit
Intermediary Local Consistencies. ECAI (2012)
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin
An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. ECAI (2012)
Thierry Petit
Focus : A Constraint for Concentrating High Costs. CP (2012)
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction CoRR (2011)
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. IJCAI (2011)
Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu
A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. CP (2011)
Thierry Petit, Emmanuel Poder
Global propagation of side constraints for solving over-constrained problems. Ann. Oper. Res. 184 (1) (2011)
Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien
Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. CP (2011)
Thierry Petit, Jean-Charles Régin
The Ordered Distribute Constraint. Int. J. Artif. Intell. Tools 20 (4) (2011)
Jean-Charles Régin, Thierry Petit
The Objective Sum Constraint. CPAIOR (2011)
Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
The Increasing Nvalue Constraint. CPAIOR (2010)
Thierry Petit, Jean-Charles Régin
The Ordered Distribute Constraint. ICTAI (1) (2010)
Christian Bessiere, Thierry Petit, Bruno Zanuttini
Making Bound Consistency as Effective as Arc Consistency. IJCAI (2009)
Julien Vion, Thierry Petit, Narendra Jussien
Integrating Strong Local Consistencies into Constraint Solvers. CSCLP (2009)
Thierry Petit, Emmanuel Poder
The Soft Cumulative Constraint CoRR (2009)
Thierry Petit, Emmanuel Poder
Global Propagation of Practicability Constraints. CPAIOR (2008)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
Global Constraint Catalogue: Past, Present and Future. Constraints An Int. J. 12 (1) (2007)
Christian Bessiere, Remi Coletta, Thierry Petit
Learning Implied Global Constraints. IJCAI (2007)
Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart
Bounds of graph parameters for global constraints. RAIRO Oper. Res. 40 (4) (2006)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
Graph Properties Based Filtering. CP (2006)
Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit
Reformulation of Global Constraints Based on Constraints Checkers. Constraints An Int. J. 10 (4) (2005)
Christian Bessiere, Remi Coletta, Thierry Petit
Acquiring Parameters of Implied Global Constraints. CP (2005)
Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart
Bounds of Graph Characteristics. CP (2005)
Nicolas Beldiceanu, Thierry Petit
Cost Evaluation of Soft Global Constraints. CPAIOR (2004)
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
Deriving Filtering Algorithms from Constraint Checkers. CP (2004)
Thierry Petit, Jean-Charles Régin, Christian Bessière
Range-Based Algorithm for Max-CSP. CP (2002)
Jean-Charles Régin, Jean-Francois Puget, Thierry Petit
Representation of soft constraints by hard constraints. JFPLC (2002)
Thierry Petit, Jean-Charles Régin, Christian Bessière
Specific Filtering Algorithms for Over-Constrained Problems. CP (2001)
Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget
New Lower Bounds of Constraint Violations for Over-Constrained Problems. CP (2001)
Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget
An Original Constraint Based Approach for Solving over Constrained Problems. CP (2000)
Thierry Petit, Jean-Charles Régin, Christian Bessière
Meta-constraints on violations for over constrained problems. ICTAI (2000)