Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Simon de Givry
@article{DBLP:journals/constraints/DlaskWG23,
author = {Tom{\'{a}}s Dlask and
Tom{\'{a}}s Werner and
Simon de Givry},
title = {Super-reparametrizations of weighted CSPs: properties and optimization
perspective},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {277--319},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09343-6},
doi = {10.1007/S10601-023-09343-6},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/DlaskWG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MontalbanoAGKW23,
author = {Pierre Montalbano and
David Allouche and
Simon de Givry and
George Katsirelos and
Tom{\'{a}}s Werner},
editor = {Andr{\'{e}} A. Cir{\'{e}}},
title = {Virtual Pairwise Consistency in Cost Function Networks},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 20th International Conference, {CPAIOR} 2023,
Nice, France, May 29 - June 1, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13884},
pages = {417--426},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33271-5\_27},
doi = {10.1007/978-3-031-33271-5\_27},
timestamp = {Wed, 31 May 2023 14:56:54 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/MontalbanoAGKW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/PomiesBDMCGTKML22,
author = {Lise Pomi{\`{e}}s and
C{\'{e}}line Brouard and
Harold Durufl{\'{e}} and
{\'{E}}lise Maign{\'{e}} and
Cl{\'{e}}ment Carr{\'{e}} and
Louise Gody and
Fulya Tr{\"{o}}sser and
George Katsirelos and
Brigitte Mangin and
Nicolas B. Langlade and
Simon de Givry},
title = {Gene regulatory network inference methodology for genomic and transcriptomic
data acquired in genetically related heterozygote individuals},
journal = {Bioinform.},
volume = {38},
number = {17},
pages = {4127--4134},
year = {2022},
url = {https://doi.org/10.1093/bioinformatics/btac445},
doi = {10.1093/BIOINFORMATICS/BTAC445},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/PomiesBDMCGTKML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldjilaliMAKG22,
author = {Abdelkader Beldjilali and
Pierre Montalbano and
David Allouche and
George Katsirelos and
Simon de Givry},
editor = {Christine Solnon},
title = {Parallel Hybrid Best-First Search},
booktitle = {28th International Conference on Principles and Practice of Constraint
Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {235},
pages = {7:1--7:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.7},
doi = {10.4230/LIPICS.CP.2022.7},
timestamp = {Wed, 27 Jul 2022 16:09:08 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldjilaliMAKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/TrosserGK22,
author = {Fulya Tr{\"{o}}sser and
Simon de Givry and
George Katsirelos},
editor = {Christine Solnon},
title = {Structured Set Variable Domains in Bayesian Network Structure Learning},
booktitle = {28th International Conference on Principles and Practice of Constraint
Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {235},
pages = {37:1--37:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.37},
doi = {10.4230/LIPICS.CP.2022.37},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/TrosserGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MontalbanoGK22,
author = {Pierre Montalbano and
Simon de Givry and
George Katsirelos},
editor = {Pierre Schaus},
title = {Multiple-choice Knapsack Constraint in Graphical Models},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 19th International Conference, {CPAIOR} 2022,
Los Angeles, CA, USA, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13292},
pages = {282--299},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08011-1\_19},
doi = {10.1007/978-3-031-08011-1\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/MontalbanoGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/TrosserGK22,
author = {Fulya Tr{\"{o}}sser and
Simon de Givry and
George Katsirelos},
title = {Learning the structure of Bayesian Networks using constraint programming},
booktitle = {Proceedings of the International Symposium on Artificial Intelligence
and Mathematics 2022 {(ISAIM} 2022), Fort Lauderdale, Florida, USA,
January 3-5, 2022},
year = {2022},
url = {https://isaim2022.cs.ou.edu/papers/ISAIM2022\_Reasoning\_Trosser\_et\_al.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:41 +0100},
biburl = {https://dblp.org/rec/conf/isaim/TrosserGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-02018,
author = {Tom{\'{a}}s Dlask and
Tom{\'{a}}s Werner and
Simon de Givry},
title = {Super-Reparametrizations of Weighted CSPs: Properties and Optimization
Perspective},
journal = {CoRR},
volume = {abs/2201.02018},
year = {2022},
url = {https://arxiv.org/abs/2201.02018},
eprinttype = {arXiv},
eprint = {2201.02018},
timestamp = {Mon, 10 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-02018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/RuffiniVGKBS21,
author = {Manon Ruffini and
Jelena Vucinic and
Simon de Givry and
George Katsirelos and
Sophie Barbe and
Thomas Schiex},
title = {Guaranteed Diversity and Optimality in Cost Function Network Based
Computational Protein Design Methods},
journal = {Algorithms},
volume = {14},
number = {6},
pages = {168},
year = {2021},
url = {https://doi.org/10.3390/a14060168},
doi = {10.3390/A14060168},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/RuffiniVGKBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/roia/MaqrotGTQ21,
author = {Sara Maqrot and
Simon de Givry and
Marc Tchamitchian and
Gauthier Quesnel},
title = {Conception de syst{\`{e}}mes de verger-mara{\^{\i}}cher {\`{a}} l'aide
de la programmation math{\'{e}}matique},
journal = {{ROIA}},
volume = {2},
number = {1},
pages = {157--188},
year = {2021},
url = {https://doi.org/10.5802/roia.13},
doi = {10.5802/ROIA.13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/roia/MaqrotGTQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DlaskWG21,
author = {Tom{\'{a}}s Dlask and
Tom{\'{a}}s Werner and
Simon de Givry},
editor = {Laurent D. Michel},
title = {Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {23:1--23:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.23},
doi = {10.4230/LIPICS.CP.2021.23},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/DlaskWG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TrosserGK21,
author = {Fulya Tr{\"{o}}sser and
Simon de Givry and
George Katsirelos},
editor = {Zhi{-}Hua Zhou},
title = {Improved Acyclicity Reasoning for Bayesian Network Structure Learning
with Constraint Programming},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {4250--4257},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/584},
doi = {10.24963/IJCAI.2021/584},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TrosserGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-12269,
author = {Fulya Tr{\"{o}}sser and
Simon de Givry and
George Katsirelos},
title = {Improved Acyclicity Reasoning for Bayesian Network Structure Learning
with Constraint Programming},
journal = {CoRR},
volume = {abs/2106.12269},
year = {2021},
url = {https://arxiv.org/abs/2106.12269},
eprinttype = {arXiv},
eprint = {2106.12269},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-12269.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/OualiAGLLLB20,
author = {Abdelkader Ouali and
David Allouche and
Simon de Givry and
Samir Loudni and
Yahia Lebbah and
Lakhdar Loukil and
Patrice Boizumault},
title = {Variable neighborhood search for graphical model energy minimization},
journal = {Artif. Intell.},
volume = {278},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2019.103194},
doi = {10.1016/J.ARTINT.2019.103194},
timestamp = {Wed, 27 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/OualiAGLLLB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BrouardGS20,
author = {C{\'{e}}line Brouard and
Simon de Givry and
Thomas Schiex},
editor = {Helmut Simonis},
title = {Pushing Data into {CP} Models Using Graphical Model Learning and Solving},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {811--827},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_47},
doi = {10.1007/978-3-030-58475-7\_47},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BrouardGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TrosserGK20,
author = {Fulya Tr{\"{o}}sser and
Simon de Givry and
George Katsirelos},
editor = {Emmanuel Hebrard and
Nysret Musliu},
title = {Relaxation-Aware Heuristics for Exact Optimization in Graphical Models},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 17th International Conference, {CPAIOR} 2020,
Vienna, Austria, September 21-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12296},
pages = {475--491},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58942-4\_31},
doi = {10.1007/978-3-030-58942-4\_31},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/TrosserGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CooperGS20,
author = {Martin C. Cooper and
Simon de Givry and
Thomas Schiex},
editor = {Christophe Paul and
Markus Bl{\"{a}}ser},
title = {Graphical Models: Queries, Complexity, Algorithms (Tutorial)},
booktitle = {37th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2020, March 10-13, 2020, Montpellier, France},
series = {LIPIcs},
volume = {154},
pages = {4:1--4:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.STACS.2020.4},
doi = {10.4230/LIPICS.STACS.2020.4},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/CooperGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/RuffiniVGKBS19,
author = {Manon Ruffini and
Jelena Vucinic and
Simon de Givry and
George Katsirelos and
Sophie Barbe and
Thomas Schiex},
title = {Guaranteed Diversity {\&} Quality for the Weighted {CSP}},
booktitle = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
pages = {18--25},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICTAI.2019.00012},
doi = {10.1109/ICTAI.2019.00012},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/RuffiniVGKBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2019,
editor = {Thomas Schiex and
Simon de Givry},
title = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7},
doi = {10.1007/978-3-030-30048-7},
isbn = {978-3-030-30047-0},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/ViricelGSB18,
author = {Cl{\'{e}}ment Viricel and
Simon de Givry and
Thomas Schiex and
Sophie Barbe},
title = {Cost function network-based design of protein-protein interactions:
predicting changes in binding affinity},
journal = {Bioinform.},
volume = {34},
number = {15},
pages = {2581--2589},
year = {2018},
url = {https://doi.org/10.1093/bioinformatics/bty092},
doi = {10.1093/BIOINFORMATICS/BTY092},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/ViricelGSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/NguyenBGS17,
author = {Hiep Nguyen and
Christian Bessiere and
Simon de Givry and
Thomas Schiex},
title = {Triangle-based consistencies for cost function networks},
journal = {Constraints An Int. J.},
volume = {22},
number = {2},
pages = {230--264},
year = {2017},
url = {https://doi.org/10.1007/s10601-016-9250-1},
doi = {10.1007/S10601-016-9250-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/NguyenBGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GivryK17,
author = {Simon de Givry and
George Katsirelos},
editor = {J. Christopher Beck},
title = {Clique Cuts in Weighted Constraint Satisfaction},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {97--113},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_7},
doi = {10.1007/978-3-319-66158-2\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GivryK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/MaqrotGQT17,
author = {Sara Maqrot and
Simon de Givry and
Gauthier Quesnel and
Marc Tchamitchian},
editor = {Salem Benferhat and
Karim Tabia and
Moonis Ali},
title = {A Mixed Integer Programming Reformulation of the Mixed Fruit-Vegetable
Crop Allocation Problem},
booktitle = {Advances in Artificial Intelligence: From Theory to Practice - 30th
International Conference on Industrial Engineering and Other Applications
of Applied Intelligent Systems, {IEA/AIE} 2017, Arras, France, June
27-30, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10351},
pages = {237--250},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60045-1\_26},
doi = {10.1007/978-3-319-60045-1\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ieaaie/MaqrotGQT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/OualiAGLLL17,
author = {Abdelkader Ouali and
David Allouche and
Simon de Givry and
Samir Loudni and
Yahia Lebbah and
Lakhdar Loukil},
editor = {Gal Elidan and
Kristian Kersting and
Alexander Ihler},
title = {Iterative Decomposition Guided Variable Neighborhood Search for Graphical
Model Energy Minimization},
booktitle = {Proceedings of the Thirty-Third Conference on Uncertainty in Artificial
Intelligence, {UAI} 2017, Sydney, Australia, August 11-15, 2017},
publisher = {{AUAI} Press},
year = {2017},
url = {http://auai.org/uai2017/proceedings/papers/197.pdf},
timestamp = {Mon, 05 Dec 2022 15:54:38 +0100},
biburl = {https://dblp.org/rec/conf/uai/OualiAGLLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlloucheBBGGLLL16,
author = {David Allouche and
Christian Bessiere and
Patrice Boizumault and
Simon de Givry and
Patricia Gutierrez and
Jimmy H. M. Lee and
Ka Lun Leung and
Samir Loudni and
Jean{-}Philippe M{\'{e}}tivier and
Thomas Schiex and
Yi Wu},
title = {Tractability-preserving transformations of global cost functions},
journal = {Artif. Intell.},
volume = {238},
pages = {166--189},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.06.005},
doi = {10.1016/J.ARTINT.2016.06.005},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AlloucheBBGGLLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HurleyOAKSZG16,
author = {Barry Hurley and
Barry O'Sullivan and
David Allouche and
George Katsirelos and
Thomas Schiex and
Matthias Zytnicki and
Simon de Givry},
title = {Multi-language evaluation of exact solvers in graphical model discrete
optimization},
journal = {Constraints An Int. J.},
volume = {21},
number = {3},
pages = {413--434},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9245-y},
doi = {10.1007/S10601-016-9245-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/HurleyOAKSZG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AlloucheGKSZ15,
author = {David Allouche and
Simon de Givry and
George Katsirelos and
Thomas Schiex and
Matthias Zytnicki},
editor = {Gilles Pesant},
title = {Anytime Hybrid Best-First Search with Tree Decomposition for Weighted
{CSP}},
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 = {12--29},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_2},
doi = {10.1007/978-3-319-23219-5\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AlloucheGKSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mco/ViricelSAGBS15,
author = {Cl{\'{e}}ment Viricel and
David Simoncini and
David Allouche and
Simon de Givry and
Sophie Barbe and
Thomas Schiex},
editor = {Hoai An Le Thi and
Tao Pham Dinh and
Ngoc Thanh Nguyen},
title = {Approximate Counting with Deterministic Guarantees for Affinity Computation},
booktitle = {Modelling, Computation and Optimization in Information Systems and
Management Sciences - Proceedings of the 3rd International Conference
on Modelling, Computation and Optimization in Information Systems
and Management Sciences - {MCO} 2015, Metz, France, May 11-13, 2015,
Part {II}},
series = {Advances in Intelligent Systems and Computing},
volume = {360},
pages = {165--176},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18167-7\_15},
doi = {10.1007/978-3-319-18167-7\_15},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/mco/ViricelSAGBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlloucheBBGGLLL15,
author = {David Allouche and
Christian Bessiere and
Patrice Boizumault and
Simon de Givry and
Patricia Gutierrez and
Jimmy H. M. Lee and
Ka Lun Leung and
Samir Loudni and
Jean{-}Philippe M{\'{e}}tivier and
Thomas Schiex and
Yi Wu},
title = {Tractability and Decompositions of Global Cost Functions},
journal = {CoRR},
volume = {abs/1502.02414},
year = {2015},
url = {http://arxiv.org/abs/1502.02414},
eprinttype = {arXiv},
eprint = {1502.02414},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlloucheBBGGLLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PeyrardGFRSSV15,
author = {Nathalie Peyrard and
Simon de Givry and
Alain Franc and
St{\'{e}}phane Robin and
R{\'{e}}gis Sabbadin and
Thomas Schiex and
Matthieu Vignes},
title = {Exact and approximate inference in graphical models: variable elimination
and beyond},
journal = {CoRR},
volume = {abs/1506.08544},
year = {2015},
url = {http://arxiv.org/abs/1506.08544},
eprinttype = {arXiv},
eprint = {1506.08544},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PeyrardGFRSSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlloucheABDGKOPST14,
author = {David Allouche and
Isabelle Andr{\'{e}} and
Sophie Barbe and
Jessica Davies and
Simon de Givry and
George Katsirelos and
Barry O'Sullivan and
Steven D. Prestwich and
Thomas Schiex and
Seydou Traor{\'{e}}},
title = {Computational protein design as an optimization problem},
journal = {Artif. Intell.},
volume = {212},
pages = {59--79},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.03.005},
doi = {10.1016/J.ARTINT.2014.03.005},
timestamp = {Tue, 12 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AlloucheABDGKOPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GivryLLS14,
author = {Simon de Givry and
Jimmy Ho{-}Man Lee and
Ka Lun Leung and
Yu Wai Shum},
editor = {Barry O'Sullivan},
title = {Solving a Judge Assignment Problem Using Conjunctions of Global Cost
Functions},
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 = {797--812},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_57},
doi = {10.1007/978-3-319-10428-7\_57},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GivryLLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/NguyenGSB14,
author = {Hiep Nguyen and
Simon de Givry and
Thomas Schiex and
Christian Bessiere},
title = {Maintaining Virtual Arc Consistency Dynamically during Search},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {8--15},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.13},
doi = {10.1109/ICTAI.2014.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/NguyenGSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZytnickiGGS14,
author = {Matthias Zytnicki and
Christine Gaspin and
Simon de Givry and
Thomas Schiex},
title = {Bounds Arc Consistency for Weighted CSPs},
journal = {CoRR},
volume = {abs/1401.3481},
year = {2014},
url = {http://arxiv.org/abs/1401.3481},
eprinttype = {arXiv},
eprint = {1401.3481},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZytnickiGGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/TraoreAAGKSB13,
author = {Seydou Traor{\'{e}} and
David Allouche and
Isabelle Andr{\'{e}} and
Simon de Givry and
George Katsirelos and
Thomas Schiex and
Sophie Barbe},
title = {A new framework for computational protein design through cost function
network optimization},
journal = {Bioinform.},
volume = {29},
number = {17},
pages = {2129--2136},
year = {2013},
url = {https://doi.org/10.1093/bioinformatics/btt374},
doi = {10.1093/BIOINFORMATICS/BTT374},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/TraoreAAGKSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/FagesGS13,
author = {Fran{\c{c}}ois Fages and
Simon de Givry and
Christine Solnon},
title = {Preface},
journal = {{RAIRO} Oper. Res.},
volume = {47},
number = {2},
pages = {89--90},
year = {2013},
url = {https://doi.org/10.1051/ro/2013029},
doi = {10.1051/RO/2013029},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rairo/FagesGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/AkploganGMQJG13,
author = {Mahuna Akplogan and
Simon de Givry and
Jean{-}Philippe M{\'{e}}tivier and
Gauthier Quesnel and
Alexandre Joannon and
Fr{\'{e}}d{\'{e}}rick Gar{\c{c}}ia},
title = {Solving the Crop Allocation Problem using Hard and Soft Constraints},
journal = {{RAIRO} Oper. Res.},
volume = {47},
number = {2},
pages = {151--172},
year = {2013},
url = {https://doi.org/10.1051/ro/2013032},
doi = {10.1051/RO/2013032},
timestamp = {Tue, 25 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rairo/AkploganGMQJG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GivryPO13,
author = {Simon de Givry and
Steven D. Prestwich and
Barry O'Sullivan},
editor = {Christian Schulte},
title = {Dead-End Elimination for Weighted {CSP}},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {263--272},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_22},
doi = {10.1007/978-3-642-40627-0\_22},
timestamp = {Mon, 07 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/GivryPO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/VandelMVLLMG12,
author = {Jimmy Vandel and
Brigitte Mangin and
Matthieu Vignes and
Damien Leroux and
Olivier Loudet and
Marie{-}Laure Martin{-}Magniette and
Simon de Givry},
title = {Inf{\'{e}}rence de r{\'{e}}seaux de r{\'{e}}gulation
de g{\`{e}}nes au travers de scores {\'{e}}tendus dans les r{\'{e}}seaux
bay{\'{e}}siens},
journal = {Rev. d'Intelligence Artif.},
volume = {26},
number = {6},
pages = {679--708},
year = {2012},
url = {https://doi.org/10.3166/ria.26.679-708},
doi = {10.3166/RIA.26.679-708},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/VandelMVLLMG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlloucheBBGGLMS12,
author = {David Allouche and
Christian Bessiere and
Patrice Boizumault and
Simon de Givry and
Patricia Gutierrez and
Samir Loudni and
Jean{-}Philippe M{\'{e}}tivier and
Thomas Schiex},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Filtering Decomposable Global Cost Functions},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {407--413},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8124},
doi = {10.1609/AAAI.V26I1.8124},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AlloucheBBGGLMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AlloucheTAGKBS12,
author = {David Allouche and
Seydou Traor{\'{e}} and
Isabelle Andr{\'{e}} and
Simon de Givry and
George Katsirelos and
Sophie Barbe and
Thomas Schiex},
editor = {Michela Milano},
title = {Computational Protein Design as a Cost Function Network Optimization
Problem},
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 = {840--849},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_60},
doi = {10.1007/978-3-642-33558-7\_60},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AlloucheTAGKBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Givry11,
author = {Simon de Givry},
title = {Optimisation combinatoire dans les r{\'{e}}seaux de fonctions
de co{\^{u}}t},
year = {2011},
url = {https://tel.archives-ouvertes.fr/tel-02810001},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Givry11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FavierGLS11,
author = {Aur{\'{e}}lie Favier and
Simon de Givry and
Andr{\'{e}}s Legarra and
Thomas Schiex},
editor = {Toby Walsh},
title = {Pairwise Decomposition for Combinatorial Optimization in Graphical
Models},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2126--2132},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-355},
doi = {10.5591/978-1-57735-516-8/IJCAI11-355},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FavierGLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CooperGSSZW10,
author = {Martin C. Cooper and
Simon de Givry and
Mart{\'{\i}} S{\'{a}}nchez{-}Fibla and
Thomas Schiex and
Matthias Zytnicki and
Tom{\'{a}}s Werner},
title = {Soft arc consistency revisited},
journal = {Artif. Intell.},
volume = {174},
number = {7-8},
pages = {449--478},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2010.02.001},
doi = {10.1016/J.ARTINT.2010.02.001},
timestamp = {Mon, 04 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CooperGSSZW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/ServinGF10,
author = {Bertrand Servin and
Simon de Givry and
Thomas Faraut},
title = {Statistical confidence measures for genome maps: application to the
validation of genome assemblies},
journal = {Bioinform.},
volume = {26},
number = {24},
pages = {3035--3042},
year = {2010},
url = {https://doi.org/10.1093/bioinformatics/btq598},
doi = {10.1093/BIOINFORMATICS/BTQ598},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/ServinGF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AlloucheGS10,
author = {David Allouche and
Simon de Givry and
Thomas Schiex},
editor = {David Cohen},
title = {Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted
{CSP}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {53--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_7},
doi = {10.1007/978-3-642-15396-9\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AlloucheGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FavierEGL10,
author = {Aur{\'{e}}lie Favier and
Jean{-}Michel Elsen and
Simon de Givry and
Andr{\'{e}}s Legarra},
editor = {Agostino Dovier and
Alessandro Dal Pal{\`{u}} and
Sebastian Will},
title = {Optimal haplotype reconstruction in half-sib families},
booktitle = {Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh,
UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {4},
pages = {27--37},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/rpn1},
doi = {10.29007/RPN1},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FavierEGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ZytnickiGGS09,
author = {Matthias Zytnicki and
Christine Gaspin and
Simon de Givry and
Thomas Schiex},
title = {Bounds Arc Consistency for Weighted CSPs},
journal = {J. Artif. Intell. Res.},
volume = {35},
pages = {593--621},
year = {2009},
url = {https://doi.org/10.1613/jair.2797},
doi = {10.1613/JAIR.2797},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ZytnickiGGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FavierGJ09,
author = {Aur{\'{e}}lie Favier and
Simon de Givry and
Philippe J{\'{e}}gou},
editor = {Ian P. Gent},
title = {Exploiting Problem Structure for Solution Counting},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {335--343},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_27},
doi = {10.1007/978-3-642-04244-7\_27},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/FavierGJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SanchezAGS09,
author = {Mart{\'{\i}} S{\'{a}}nchez{-}Fibla and
David Allouche and
Simon de Givry and
Thomas Schiex},
editor = {Craig Boutilier},
title = {Russian Doll Search with Tree Decomposition},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {603--608},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/106.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SanchezAGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LarrosaHG08,
author = {Javier Larrosa and
Federico Heras and
Simon de Givry},
title = {A logical approach to efficient Max-SAT solving},
journal = {Artif. Intell.},
volume = {172},
number = {2-3},
pages = {204--233},
year = {2008},
url = {https://doi.org/10.1016/j.artint.2007.05.006},
doi = {10.1016/J.ARTINT.2007.05.006},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LarrosaHG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SanchezGS08,
author = {Mart{\'{\i}} S{\'{a}}nchez{-}Fibla and
Simon de Givry and
Thomas Schiex},
title = {Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint
Satisfaction Techniques},
journal = {Constraints An Int. J.},
volume = {13},
number = {1-2},
pages = {130--154},
year = {2008},
url = {https://doi.org/10.1007/s10601-007-9029-5},
doi = {10.1007/S10601-007-9029-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/SanchezGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/HerasLGS08,
author = {Federico Heras and
Javier Larrosa and
Simon de Givry and
Thomas Schiex},
title = {2006 and 2007 Max-SAT Evaluations: Contributed Instances},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {4},
number = {2-4},
pages = {239--250},
year = {2008},
url = {https://doi.org/10.3233/sat190046},
doi = {10.3233/SAT190046},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/HerasLGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CooperGSSZ08,
author = {Martin C. Cooper and
Simon de Givry and
Mart{\'{\i}} S{\'{a}}nchez{-}Fibla and
Thomas Schiex and
Matthias Zytnicki},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Virtual Arc Consistency for Weighted {CSP}},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {253--258},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-040.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CooperGSSZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/FarautGCDGHS07,
author = {Thomas Faraut and
Simon de Givry and
Patrick Chabrier and
Thomas Derrien and
Francis Galibert and
Christophe Hitte and
Thomas Schiex},
title = {A comparative genome approach to marker ordering},
journal = {Bioinform.},
volume = {23},
number = {2},
pages = {50--56},
year = {2007},
url = {https://doi.org/10.1093/bioinformatics/btl321},
doi = {10.1093/BIOINFORMATICS/BTL321},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/FarautGCDGHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/SanchezGS07,
author = {Mart{\'{\i}} S{\'{a}}nchez{-}Fibla and
Simon de Givry and
Thomas Schiex},
editor = {Cecilio Angulo and
Llu{\'{\i}}s Godo},
title = {Mendelian error detection in complex pedigrees using weighted constraint
satisfaction techniques},
booktitle = {Artificial Intelligence Research and Development, Proceedings of the
10th International Conference of the ACIA, {CCIA} 2007, October 25-26,
2007, Sant Juli{\`{a}} de L{\`{o}}ria, Andorra},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {163},
pages = {29--37},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=7645},
timestamp = {Fri, 05 Jun 2020 11:50:51 +0200},
biburl = {https://dblp.org/rec/conf/ccia/SanchezGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CooperGS07,
author = {Martin C. Cooper and
Simon de Givry and
Thomas Schiex},
editor = {Manuela M. Veloso},
title = {Optimal Soft Arc Consistency},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {68--73},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/009.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CooperGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/ThebaultGSG06,
author = {Patricia Th{\'{e}}bault and
Simon de Givry and
Thomas Schiex and
Christine Gaspin},
title = {Searching {RNA} motifs and their intermolecular contacts with constraint
networks},
journal = {Bioinform.},
volume = {22},
number = {17},
pages = {2074--2080},
year = {2006},
url = {https://doi.org/10.1093/bioinformatics/btl354},
doi = {10.1093/BIOINFORMATICS/BTL354},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/ThebaultGSG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/GivryJ06,
author = {Simon de Givry and
Laurent Jeannin},
title = {A unified framework for partial and hybrid search methods in constraint
programming},
journal = {Comput. Oper. Res.},
volume = {33},
number = {10},
pages = {2805--2833},
year = {2006},
url = {https://doi.org/10.1016/j.cor.2005.01.012},
doi = {10.1016/J.COR.2005.01.012},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/GivryJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GivrySV06,
author = {Simon de Givry and
Thomas Schiex and
G{\'{e}}rard Verfaillie},
title = {Exploiting Tree Decomposition and Soft Local Consistency In Weighted
{CSP}},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {22--27},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-004.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GivrySV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0611025,
author = {Javier Larrosa and
Federico Heras and
Simon de Givry},
title = {A Logical Approach to Efficient Max-SAT solving},
journal = {CoRR},
volume = {abs/cs/0611025},
year = {2006},
url = {http://arxiv.org/abs/cs/0611025},
eprinttype = {arXiv},
eprint = {cs/0611025},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0611025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GivryBCMS05,
author = {Simon de Givry and
Martin Bouchez and
Patrick Chabrier and
Denis Milan and
Thomas Schiex},
title = {CAR\({}_{\mbox{H}}\)\({}^{\mbox{T}}\)A {GENE:} multipopulation integrated
genetic and radiation hybrid mapping},
journal = {Bioinform.},
volume = {21},
number = {8},
pages = {1703--1704},
year = {2005},
url = {https://doi.org/10.1093/bioinformatics/bti222},
doi = {10.1093/BIOINFORMATICS/BTI222},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/GivryBCMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GivryHZL05,
author = {Simon de Givry and
Federico Heras and
Matthias Zytnicki and
Javier Larrosa},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Existential arc consistency: Getting closer to full arc consistency
in weighted CSPs},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {84--89},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0827.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GivryHZL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/GivryJ03,
author = {Simon de Givry and
Laurent Jeannin},
title = {Optimisation des {\'{e}}volutions d'un r{\'{e}}seau t{\'{e}}l{\'{e}}com},
journal = {Tech. Sci. Informatiques},
volume = {22},
number = {1},
pages = {183--186},
year = {2003},
url = {http://tsi.revuesonline.com/article.jsp?articleId=4654},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/GivryJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GivryLMS03,
author = {Simon de Givry and
Javier Larrosa and
Pedro Meseguer and
Thomas Schiex},
editor = {Francesca Rossi},
title = {Solving Max-SAT as Weighted {CSP}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {363--376},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_25},
doi = {10.1007/978-3-540-45193-8\_25},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/GivryLMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/JeanninG03,
author = {Laurent Jeannin and
Simon de Givry},
editor = {Mireille Ducass{\'{e}}},
title = {Optimisation des {\'{e}}volutions d'un r{\'{e}}seau t{\'{e}}l{\'{e}}coms},
booktitle = {Journ{\'{e}}es Francophones de Programmation en Logique avec
Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
pages = {183--186},
publisher = {Hermes/Lavoisier},
year = {2003},
timestamp = {Mon, 24 May 2004 15:53:59 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/JeanninG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MattioliMJSG01,
author = {Juliette Mattioli and
Nicolas Museux and
Jean Jourdan and
Pierre Sav{\'{e}}ant and
Simon de Givry},
editor = {Toby Walsh},
title = {A Constraint Optimization Framework for Mapping a Digital Signal Processing
Application onto a Parallel Architecture},
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 = {701--715},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_57},
doi = {10.1007/3-540-45578-7\_57},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MattioliMJSG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CabonGLSW99,
author = {Bertrand Cabon and
Simon de Givry and
Lionel Lobjois and
Thomas Schiex and
Joost P. Warners},
title = {Radio Link Frequency Assignment},
journal = {Constraints An Int. J.},
volume = {4},
number = {1},
pages = {79--89},
year = {1999},
url = {https://doi.org/10.1023/A:1009812409930},
doi = {10.1023/A:1009812409930},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/CabonGLSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/GivrySJ99,
author = {Simon de Givry and
Pierre Sav{\'{e}}ant and
Jean Jourdan},
editor = {Fran{\c{c}}ois Fages},
title = {Optimisation combinatoire en temps limit{\'{e}}: Depth First
Branch and Bound adaptaif},
booktitle = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
pages = {161--178},
publisher = {Hermes},
year = {1999},
timestamp = {Tue, 30 Mar 2004 12:53:17 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/GivrySJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CabonGV98,
author = {Bertrand Cabon and
Simon de Givry and
G{\'{e}}rard Verfaillie},
editor = {Michael J. Maher and
Jean{-}Francois Puget},
title = {Anytime Lower Bounds for Constraint Violation Minimization Problems},
booktitle = {Principles and Practice of Constraint Programming - CP98, 4th International
Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1520},
pages = {117--131},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49481-2\_10},
doi = {10.1007/3-540-49481-2\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CabonGV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GivryVS97,
author = {Simon de Givry and
G{\'{e}}rard Verfaillie and
Thomas Schiex},
editor = {Gert Smolka},
title = {Bounding the Optimum of Constraint Optimization Problems},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {405--419},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017456},
doi = {10.1007/BFB0017456},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GivryVS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-03-21 20:24 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:
