default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thierry Petit
@article{DBLP:journals/corr/abs-2503-16498,
author = {Enzo Sinacola and
Arnault Pachot and
Thierry Petit},
title = {Llms, Virtual Users, and Bias: Predicting Any Survey Question Without
Human Data},
journal = {CoRR},
volume = {abs/2503.16498},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2503.16498},
doi = {10.48550/ARXIV.2503.16498},
eprinttype = {arXiv},
eprint = {2503.16498},
timestamp = {Mon, 14 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2503-16498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2512-07306,
author = {Thierry Petit and
Arnault Pachot},
title = {Exact Synthetic Populations for Scalable Societal and Market Modeling},
journal = {CoRR},
volume = {abs/2512.07306},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2512.07306},
doi = {10.48550/ARXIV.2512.07306},
eprinttype = {arXiv},
eprint = {2512.07306},
timestamp = {Mon, 26 Jan 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2512-07306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2409-13693,
author = {Thierry Petit and
Arnault Pachot and
Claire Conan{-}Vrinat and
Alexandre Dubarry},
title = {Declarative Integration and Management of Large Language Models through
Finite Automata: Application to Automation, Communication, and Ethics},
journal = {CoRR},
volume = {abs/2409.13693},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2409.13693},
doi = {10.48550/ARXIV.2409.13693},
eprinttype = {arXiv},
eprint = {2409.13693},
timestamp = {Tue, 15 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2409-13693.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-10892,
author = {Thierry Petit and
Randy J. Zauhar},
title = {A Constraint Programming Approach to Weighted Isomorphic Mapping of
Fragment-based Shape Signatures},
journal = {CoRR},
volume = {abs/2112.10892},
year = {2021},
url = {https://arxiv.org/abs/2112.10892},
eprinttype = {arXiv},
eprint = {2112.10892},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-10892.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/PetitT19,
author = {Thierry Petit and
Andrew C. Trapp},
title = {Enriching Solutions to Combinatorial Problems via Solution Engineering},
journal = {{INFORMS} J. Comput.},
volume = {31},
number = {3},
pages = {429--444},
year = {2019},
url = {https://doi.org/10.1287/ijoc.2018.0855},
doi = {10.1287/IJOC.2018.0855},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/PetitT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Petit17,
author = {Thierry Petit},
title = {On Constraint Linear Decompositions Using Mathematical Variables},
booktitle = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
pages = {123--130},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICTAI.2017.00030},
doi = {10.1109/ICTAI.2017.00030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Petit17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/NarodytskaPSW16,
author = {Nina Narodytska and
Thierry Petit and
Mohamed Siala and
Toby Walsh},
title = {Three generalizations of the {FOCUS} constraint},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {495--532},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9233-7},
doi = {10.1007/S10601-015-9233-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/NarodytskaPSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PetitP16,
author = {Thierry Petit and
Lolita Petit},
editor = {Subbarao Kambhampati},
title = {Optimizing Molecular Cloning of Multiple Plasmids},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {773--779},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/115},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/PetitP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Petit16,
author = {Thierry Petit},
title = {"Model and Run" Constraint Networks with a {MILP} Engine},
journal = {CoRR},
volume = {abs/1611.08908},
year = {2016},
url = {http://arxiv.org/abs/1611.08908},
eprinttype = {arXiv},
eprint = {1611.08908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Petit16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DerrienFPP15,
author = {Alban Derrien and
Jean{-}Guillaume Fages and
Thierry Petit and
Charles Prud'homme},
editor = {Gilles Pesant},
title = {A Global Constraint for a Tractable Class of Temporal Optimization
Problems},
booktitle = {Principles and Practice of Constraint Programming - 21st International
Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9255},
pages = {105--120},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_8},
doi = {10.1007/978-3-319-23219-5\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/DerrienFPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BeldiceanuCFLPP15,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Xavier Lorca and
Justin Pearson and
Thierry Petit and
Charles Prud'homme},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {A Modelling Pearl with Sortedness Constraints},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {27--41},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/b4dz},
doi = {10.29007/B4DZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BeldiceanuCFLPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PetitT15,
author = {Thierry Petit and
Andrew C. Trapp},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Finding Diverse Solutions of High Quality to Constraint Optimization
Problems},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {260--267},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/043},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/PetitT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Petit14,
author = {Thierry Petit},
title = {Concilier Expressivit{\'{e}} et Efficacit{\'{e}} en Programmation
par Contraintes},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01095608},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Petit14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DerrienP14,
author = {Alban Derrien and
Thierry Petit},
editor = {Barry O'Sullivan},
title = {A New Characterization of Relevant Intervals for Energetic Reasoning},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {289--297},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_22},
doi = {10.1007/978-3-319-10428-7\_22},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/DerrienP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DerrienPZ14,
author = {Alban Derrien and
Thierry Petit and
St{\'{e}}phane Zampelli},
editor = {Barry O'Sullivan},
title = {A Declarative Paradigm for Robust Cumulative Scheduling},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {298--306},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_23},
doi = {10.1007/978-3-319-10428-7\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DerrienPZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FagesLP14,
author = {Jean{-}Guillaume Fages and
Xavier Lorca and
Thierry Petit},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Self-decomposable Global Constraints},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {297--302},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-297},
doi = {10.3233/978-1-61499-419-0-297},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/FagesLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DerrienPZ14,
author = {Alban Derrien and
Thierry Petit and
St{\'{e}}phane Zampelli},
title = {Dynamic Sweep Filtering Algorithm for FlexC},
journal = {CoRR},
volume = {abs/1408.5377},
year = {2014},
url = {http://arxiv.org/abs/1408.5377},
eprinttype = {arXiv},
eprint = {1408.5377},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DerrienPZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NarodytskaP0W13,
author = {Nina Narodytska and
Thierry Petit and
Mohamed Siala and
Toby Walsh},
editor = {Francesca Rossi},
title = {Three Generalizations of the {FOCUS} Constraint},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {630--636},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6829},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/NarodytskaP0W13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5970,
author = {Nina Narodytska and
Thierry Petit and
Mohamed Siala and
Toby Walsh},
title = {Three Generalizations of the {FOCUS} Constraint},
journal = {CoRR},
volume = {abs/1304.5970},
year = {2013},
url = {http://arxiv.org/abs/1304.5970},
eprinttype = {arXiv},
eprint = {1304.5970},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DerrienP13,
author = {Alban Derrien and
Thierry Petit},
title = {The Energetic Reasoning Checker Revisited},
journal = {CoRR},
volume = {abs/1310.5564},
year = {2013},
url = {http://arxiv.org/abs/1310.5564},
eprinttype = {arXiv},
eprint = {1310.5564},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DerrienP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Petit12,
author = {Thierry Petit},
editor = {Michela Milano},
title = {Focus : {A} Constraint for Concentrating High Costs},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {577--592},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_42},
doi = {10.1007/978-3-642-33558-7\_42},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Petit12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BeldiceanuCPR12,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Thierry Petit and
Jean{-}Charles R{\'{e}}gin},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {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},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {145--150},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-145},
doi = {10.3233/978-1-61499-098-7-145},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BeldiceanuCPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Petit12,
author = {Thierry Petit},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Intermediary Local Consistencies},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {919--920},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-919},
doi = {10.3233/978-1-61499-098-7-919},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Petit12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/PetitP11,
author = {Thierry Petit and
Emmanuel Poder},
title = {Global propagation of side constraints for solving over-constrained
problems},
journal = {Ann. Oper. Res.},
volume = {184},
number = {1},
pages = {295--314},
year = {2011},
url = {https://doi.org/10.1007/s10479-010-0683-4},
doi = {10.1007/S10479-010-0683-4},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/PetitP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/PetitR11,
author = {Thierry Petit and
Jean{-}Charles R{\'{e}}gin},
title = {The Ordered Distribute Constraint},
journal = {Int. J. Artif. Intell. Tools},
volume = {20},
number = {4},
pages = {617--637},
year = {2011},
url = {https://doi.org/10.1142/S0218213011000371},
doi = {10.1142/S0218213011000371},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/PetitR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ClercqPBJ11,
author = {Alexis De Clercq and
Thierry Petit and
Nicolas Beldiceanu and
Narendra Jussien},
editor = {Jimmy Ho{-}Man Lee},
title = {Filtering Algorithms for Discrete Cumulative Problems with Overloads
of Resource},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {240--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_20},
doi = {10.1007/978-3-642-23786-7\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ClercqPBJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PetitRB11,
author = {Thierry Petit and
Jean{-}Charles R{\'{e}}gin and
Nicolas Beldiceanu},
editor = {Jimmy Ho{-}Man Lee},
title = {A {\(\Theta\)}(n) Bound-Consistency Algorithm for the Increasing Sum
Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {721--728},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_54},
doi = {10.1007/978-3-642-23786-7\_54},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PetitRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ReginP11,
author = {Jean{-}Charles R{\'{e}}gin and
Thierry Petit},
editor = {Tobias Achterberg and
J. Christopher Beck},
title = {The Objective Sum Constraint},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems - 8th International Conference,
{CPAIOR} 2011, Berlin, Germany, May 23-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6697},
pages = {190--195},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21311-3\_18},
doi = {10.1007/978-3-642-21311-3\_18},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/ReginP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PetitBL11,
author = {Thierry Petit and
Nicolas Beldiceanu and
Xavier Lorca},
editor = {Toby Walsh},
title = {A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {643--648},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-114},
doi = {10.5591/978-1-57735-516-8/IJCAI11-114},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/PetitBL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-4719,
author = {Thierry Petit and
Nicolas Beldiceanu and
Xavier Lorca},
title = {A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:
Revised Edition that Incorporates One Correction},
journal = {CoRR},
volume = {abs/1110.4719},
year = {2011},
url = {http://arxiv.org/abs/1110.4719},
eprinttype = {arXiv},
eprint = {1110.4719},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuHLP10,
author = {Nicolas Beldiceanu and
Fabien Hermenier and
Xavier Lorca and
Thierry Petit},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {The Increasing Nvalue Constraint},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 7th International Conference,
{CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {25--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_5},
doi = {10.1007/978-3-642-13520-0\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuHLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/PetitR10,
author = {Thierry Petit and
Jean{-}Charles R{\'{e}}gin},
title = {The Ordered Distribute Constraint},
booktitle = {22nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2010, Arras, France, 27-29 October 2010 - Volume 1},
pages = {431--438},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICTAI.2010.68},
doi = {10.1109/ICTAI.2010.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/PetitR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/VionPJ09,
author = {Julien Vion and
Thierry Petit and
Narendra Jussien},
editor = {Javier Larrosa and
Barry O'Sullivan},
title = {Integrating Strong Local Consistencies into Constraint Solvers},
booktitle = {Recent Advances in Constraints - 14th Annual {ERCIM} International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6384},
pages = {90--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-19486-3\_6},
doi = {10.1007/978-3-642-19486-3\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/csclp/VionPJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BessierePZ09,
author = {Christian Bessiere and
Thierry Petit and
Bruno Zanuttini},
editor = {Craig Boutilier},
title = {Making Bound Consistency as Effective as Arc Consistency},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {425--430},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/078.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BessierePZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-0939,
author = {Thierry Petit and
Emmanuel Poder},
title = {The Soft Cumulative Constraint},
journal = {CoRR},
volume = {abs/0907.0939},
year = {2009},
url = {http://arxiv.org/abs/0907.0939},
eprinttype = {arXiv},
eprint = {0907.0939},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-0939.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PetitP08,
author = {Thierry Petit and
Emmanuel Poder},
editor = {Laurent Perron and
Michael A. Trick},
title = {Global Propagation of Practicability Constraints},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {361--366},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_38},
doi = {10.1007/978-3-540-68155-7\_38},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/PetitP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDP07,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sophie Demassey and
Thierry Petit},
title = {Global Constraint Catalogue: Past, Present and Future},
journal = {Constraints An Int. J.},
volume = {12},
number = {1},
pages = {21--62},
year = {2007},
url = {https://doi.org/10.1007/s10601-006-9010-8},
doi = {10.1007/S10601-006-9010-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCDP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BessiereCP07,
author = {Christian Bessiere and
Remi Coletta and
Thierry Petit},
editor = {Manuela M. Veloso},
title = {Learning Implied Global Constraints},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {44--49},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/005.pdf},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BessiereCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/BeldiceanuPR06,
author = {Nicolas Beldiceanu and
Thierry Petit and
Guillaume Rochart},
title = {Bounds of graph parameters for global constraints},
journal = {{RAIRO} Oper. Res.},
volume = {40},
number = {4},
pages = {327--353},
year = {2006},
url = {https://doi.org/10.1051/ro:2007001},
doi = {10.1051/RO:2007001},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rairo/BeldiceanuPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCDP06,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sophie Demassey and
Thierry Petit},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Graph Properties Based Filtering},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {59--74},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_7},
doi = {10.1007/11889205\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDP05,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Romuald Debruyne and
Thierry Petit},
title = {Reformulation of Global Constraints Based on Constraints Checkers},
journal = {Constraints An Int. J.},
volume = {10},
number = {4},
pages = {339--362},
year = {2005},
url = {https://doi.org/10.1007/s10601-005-2809-x},
doi = {10.1007/S10601-005-2809-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuPR05,
author = {Nicolas Beldiceanu and
Thierry Petit and
Guillaume Rochart},
editor = {Peter van Beek},
title = {Bounds of Graph Characteristics},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {742--746},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_56},
doi = {10.1007/11564751\_56},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BessiereCP05,
author = {Christian Bessiere and
Remi Coletta and
Thierry Petit},
editor = {Peter van Beek},
title = {Acquiring Parameters of Implied Global Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {747--751},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_57},
doi = {10.1007/11564751\_57},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BessiereCP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCP04,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Thierry Petit},
editor = {Mark Wallace},
title = {Deriving Filtering Algorithms from Constraint Checkers},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {107--122},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_11},
doi = {10.1007/978-3-540-30201-8\_11},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuP04,
author = {Nicolas Beldiceanu and
Thierry Petit},
editor = {Jean{-}Charles R{\'{e}}gin and
Michel Rueher},
title = {Cost Evaluation of Soft Global Constraints},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, First International Conference,
{CPAIOR} 2004, Nice, France, April 20-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3011},
pages = {80--95},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24664-0\_6},
doi = {10.1007/978-3-540-24664-0\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PetitRB02,
author = {Thierry Petit and
Jean{-}Charles R{\'{e}}gin and
Christian Bessi{\`{e}}re},
editor = {Pascal Van Hentenryck},
title = {Range-Based Algorithm for Max-CSP},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {280--294},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_19},
doi = {10.1007/3-540-46135-3\_19},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/PetitRB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/ReginPP02,
author = {Jean{-}Charles R{\'{e}}gin and
Jean{-}Francois Puget and
Thierry Petit},
editor = {Michel Rueher},
title = {Representation of soft constraints by hard constraints},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2002, 27-30 Mai
2002, Universit{\'{e}} de Nice Sophia-Antipolis, France},
pages = {181},
year = {2002},
timestamp = {Mon, 24 May 2004 15:53:56 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/ReginPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ReginPBP01,
author = {Jean{-}Charles R{\'{e}}gin and
Thierry Petit and
Christian Bessi{\`{e}}re and
Jean{-}Francois Puget},
editor = {Toby Walsh},
title = {New Lower Bounds of Constraint Violations for Over-Constrained Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {332--345},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_23},
doi = {10.1007/3-540-45578-7\_23},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ReginPBP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PetitRB01,
author = {Thierry Petit and
Jean{-}Charles R{\'{e}}gin and
Christian Bessi{\`{e}}re},
editor = {Toby Walsh},
title = {Specific Filtering Algorithms for Over-Constrained Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {451--463},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_31},
doi = {10.1007/3-540-45578-7\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PetitRB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ReginPBP00,
author = {Jean{-}Charles R{\'{e}}gin and
Thierry Petit and
Christian Bessi{\`{e}}re and
Jean{-}Francois Puget},
editor = {Rina Dechter},
title = {An Original Constraint Based Approach for Solving over Constrained
Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
International Conference, Singapore, September 18-21, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1894},
pages = {543--548},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45349-0\_46},
doi = {10.1007/3-540-45349-0\_46},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ReginPBP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/PetitRB00,
author = {Thierry Petit and
Jean{-}Charles R{\'{e}}gin and
Christian Bessi{\`{e}}re},
title = {Meta-constraints on violations for over constrained problems},
booktitle = {12th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2000), 13-15 November 2000, Vancouver, BC, Canada},
pages = {358--365},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TAI.2000.889894},
doi = {10.1109/TAI.2000.889894},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/PetitRB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-28 04:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
