Thierry Petit

According to our database1, Thierry Petit authored at least 44 papers between 2000 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Enriching Solutions to Combinatorial Problems via Solution Engineering.
INFORMS Journal on Computing, 2019

2017
On Constraint Linear Decompositions Using Mathematical Variables.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016
"Model and Run" Constraint Networks with a MILP Engine.
CoRR, 2016

Three generalizations of the FOCUS constraint.
Constraints, 2016

Optimizing Molecular Cloning of Multiple Plasmids.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
Finding Diverse Solutions of High Quality to Constraint Optimization Problems.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Modelling Pearl with Sortedness Constraints.
Proceedings of the Global Conference on Artificial Intelligence, 2015

A Global Constraint for a Tractable Class of Temporal Optimization Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
Dynamic Sweep Filtering Algorithm for FlexC.
CoRR, 2014

Self-decomposable Global Constraints.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A Declarative Paradigm for Robust Cumulative Scheduling.
Proceedings of the Principles and Practice of Constraint Programming, 2014

A New Characterization of Relevant Intervals for Energetic Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Concilier Expressivité et Efficacité en Programmation par Contraintes.
, 2014

2013
The Energetic Reasoning Checker Revisited.
CoRR, 2013

2012
Intermediary Local Consistencies.
Proceedings of the ECAI 2012, 2012

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.
Proceedings of the ECAI 2012, 2012

Focus : A Constraint for Concentrating High Costs.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
The Ordered Distribute Constraint.
International Journal on Artificial Intelligence Tools, 2011

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction
CoRR, 2011

Global propagation of side constraints for solving over-constrained problems.
Annals OR, 2011

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints.
Proceedings of the IJCAI 2011, 2011

The Objective Sum Constraint.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

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

2009
The Soft Cumulative Constraint
CoRR, 2009

Making Bound Consistency as Effective as Arc Consistency.
Proceedings of the IJCAI 2009, 2009

Integrating Strong Local Consistencies into Constraint Solvers.
Proceedings of the Recent Advances in Constraints, 2009

2008
Global Propagation of Practicability Constraints.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007
Global Constraint Catalogue: Past, Present and Future.
Constraints, 2007

Learning Implied Global Constraints.
Proceedings of the IJCAI 2007, 2007

2006
Bounds of graph parameters for global constraints.
RAIRO - Operations Research, 2006

Graph Properties Based Filtering.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Reformulation of Global Constraints Based on Constraints Checkers.
Constraints, 2005

Acquiring Parameters of Implied Global Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Bounds of Graph Characteristics.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Cost Evaluation of Soft Global Constraints.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

Deriving Filtering Algorithms from Constraint Checkers.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2002
Representation of soft constraints by hard constraints.
Proceedings of the Programmation en logique avec contraintes, 2002

Range-Based Algorithm for Max-CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
New Lower Bounds of Constraint Violations for Over-Constrained Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2001

Specific Filtering Algorithms for Over-Constrained Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Meta-constraints on violations for over constrained problems.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

An Original Constraint Based Approach for Solving over Constrained Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2000


  Loading...