We stand with Ukraine  

Thierry Petit

According to our database1, Thierry Petit authored at least 46 papers between 2000 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Declarative Integration and Management of Large Language Models through Finite Automata: Application to Automation, Communication, and Ethics.
[BibTeX]
[DOI]
Thierry Petit
,
Arnault Pachot
,
Claire Conan-Vrinat
,
Alexandre Dubarry
CoRR, 2024

2021
A Constraint Programming Approach to Weighted Isomorphic Mapping of Fragment-based Shape Signatures.
[BibTeX]
[DOI]
Thierry Petit
,
Randy J. Zauhar
CoRR, 2021

2019
Enriching Solutions to Combinatorial Problems via Solution Engineering.
[BibTeX]
[DOI]
Thierry Petit
,
Andrew C. Trapp
INFORMS J. Comput., 2019

2017
On Constraint Linear Decompositions Using Mathematical Variables.
[BibTeX]
[DOI]
Thierry Petit
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016
"Model and Run" Constraint Networks with a MILP Engine.
[BibTeX]
[DOI]
Thierry Petit
CoRR, 2016

Three generalizations of the FOCUS constraint.
[BibTeX]
[DOI]
Nina Narodytska
,
Thierry Petit
,
Mohamed Siala
,
Toby Walsh
Constraints An Int. J., 2016

Optimizing Molecular Cloning of Multiple Plasmids.
[BibTeX]
[DOI]
Thierry Petit
,
Lolita Petit
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
Finding Diverse Solutions of High Quality to Constraint Optimization Problems.
[BibTeX]
[DOI]
Thierry Petit
,
Andrew C. Trapp
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Modelling Pearl with Sortedness Constraints.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Mats Carlsson
,
Pierre Flener
,
Xavier Lorca
,
Justin Pearson
,
Thierry Petit
,
Charles Prud'homme
Proceedings of the Global Conference on Artificial Intelligence, 2015

A Global Constraint for a Tractable Class of Temporal Optimization Problems.
[BibTeX]
[DOI]
Alban Derrien
,
Jean-Guillaume Fages
,
Thierry Petit
,
Charles Prud'homme
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
Dynamic Sweep Filtering Algorithm for FlexC.
[BibTeX]
[DOI]
Alban Derrien
,
Thierry Petit
,
Stéphane Zampelli
CoRR, 2014

Self-decomposable Global Constraints.
[BibTeX]
[DOI]
Jean-Guillaume Fages
,
Xavier Lorca
,
Thierry Petit
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.
[BibTeX]
[DOI]
Alban Derrien
,
Thierry Petit
,
Stéphane Zampelli
Proceedings of the Principles and Practice of Constraint Programming, 2014

A New Characterization of Relevant Intervals for Energetic Reasoning.
[BibTeX]
[DOI]
Alban Derrien
,
Thierry Petit
Proceedings of the Principles and Practice of Constraint Programming, 2014

Concilier Expressivité et Efficacité en Programmation par Contraintes.
[BibTeX]
[DOI]
Thierry Petit
, 2014

2013
The Energetic Reasoning Checker Revisited.
[BibTeX]
[DOI]
Alban Derrien
,
Thierry Petit
CoRR, 2013

2012
Intermediary Local Consistencies.
[BibTeX]
[DOI]
Thierry Petit
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.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Mats Carlsson
,
Thierry Petit
,
Jean-Charles Régin
Proceedings of the ECAI 2012, 2012

Focus : A Constraint for Concentrating High Costs.
[BibTeX]
[DOI]
Thierry Petit
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
The Ordered Distribute Constraint.
[BibTeX]
[DOI]
Thierry Petit
,
Jean-Charles Régin
Int. J. Artif. Intell. Tools, 2011

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction
[BibTeX]
[DOI]
Thierry Petit
,
Nicolas Beldiceanu
,
Xavier Lorca
CoRR, 2011

Global propagation of side constraints for solving over-constrained problems.
[BibTeX]
[DOI]
Thierry Petit
,
Emmanuel Poder
Ann. Oper. Res., 2011

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints.
[BibTeX]
[DOI]
Thierry Petit
,
Nicolas Beldiceanu
,
Xavier Lorca
Proceedings of the IJCAI 2011, 2011

The Objective Sum Constraint.
[BibTeX]
[DOI]
Jean-Charles Régin
,
Thierry Petit
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.
[BibTeX]
[DOI]
Thierry Petit
,
Jean-Charles Régin
,
Nicolas Beldiceanu
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource.
[BibTeX]
[DOI]
Alexis De Clercq
,
Thierry Petit
,
Nicolas Beldiceanu
,
Narendra Jussien
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
The Increasing Nvalue Constraint.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Fabien Hermenier
,
Xavier Lorca
,
Thierry Petit
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

2009
The Soft Cumulative Constraint
[BibTeX]
[DOI]
Thierry Petit
,
Emmanuel Poder
CoRR, 2009

Making Bound Consistency as Effective as Arc Consistency.
[BibTeX]
[DOI]
Christian Bessiere
,
Thierry Petit
,
Bruno Zanuttini
Proceedings of the IJCAI 2009, 2009

Integrating Strong Local Consistencies into Constraint Solvers.
[BibTeX]
[DOI]
Julien Vion
,
Thierry Petit
,
Narendra Jussien
Proceedings of the Recent Advances in Constraints, 2009

2008
Global Propagation of Practicability Constraints.
[BibTeX]
[DOI]
Thierry Petit
,
Emmanuel Poder
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.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Mats Carlsson
,
Sophie Demassey
,
Thierry Petit
Constraints An Int. J., 2007

Learning Implied Global Constraints.
[BibTeX]
[DOI]
Christian Bessiere
,
Remi Coletta
,
Thierry Petit
Proceedings of the IJCAI 2007, 2007

2006
Bounds of graph parameters for global constraints.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Thierry Petit
,
Guillaume Rochart
RAIRO Oper. Res., 2006

Graph Properties Based Filtering.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Mats Carlsson
,
Sophie Demassey
,
Thierry Petit
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Reformulation of Global Constraints Based on Constraints Checkers.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Mats Carlsson
,
Romuald Debruyne
,
Thierry Petit
Constraints An Int. J., 2005

Acquiring Parameters of Implied Global Constraints.
[BibTeX]
[DOI]
Christian Bessiere
,
Remi Coletta
,
Thierry Petit
Proceedings of the Principles and Practice of Constraint Programming, 2005

Bounds of Graph Characteristics.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Thierry Petit
,
Guillaume Rochart
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Cost Evaluation of Soft Global Constraints.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Thierry Petit
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

Deriving Filtering Algorithms from Constraint Checkers.
[BibTeX]
[DOI]
Nicolas Beldiceanu
,
Mats Carlsson
,
Thierry Petit
Proceedings of the Principles and Practice of Constraint Programming, 2004

2002
Representation of soft constraints by hard constraints.
[BibTeX]
Jean-Charles Régin
,
Jean-Francois Puget
,
Thierry Petit
Proceedings of the Programmation en logique avec contraintes, 2002

Range-Based Algorithm for Max-CSP.
[BibTeX]
[DOI]
Thierry Petit
,
Jean-Charles Régin
,
Christian Bessière
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
New Lower Bounds of Constraint Violations for Over-Constrained Problems.
[BibTeX]
[DOI]
Jean-Charles Régin
,
Thierry Petit
,
Christian Bessière
,
Jean-Francois Puget
Proceedings of the Principles and Practice of Constraint Programming, 2001

Specific Filtering Algorithms for Over-Constrained Problems.
[BibTeX]
[DOI]
Thierry Petit
,
Jean-Charles Régin
,
Christian Bessière
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Meta-constraints on violations for over constrained problems.
[BibTeX]
[DOI]
Thierry Petit
,
Jean-Charles Régin
,
Christian Bessière
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.
[BibTeX]
[DOI]
Jean-Charles Régin
,
Thierry Petit
,
Christian Bessière
,
Jean-Francois Puget
Proceedings of the Principles and Practice of Constraint Programming, 2000


  Loading...