BibTeX records: Laurent Granvilliers

download as .bib file

@article{DBLP:journals/ijait/Granvilliers20,
  author       = {Laurent Granvilliers},
  title        = {Interval Tests and Contractors Based on Optimality Conditions for
                  Bound-Constrained Global Optimization},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {29},
  number       = {03n04},
  pages        = {2060001:1--2060001:22},
  year         = {2020},
  url          = {https://doi.org/10.1142/S0218213020600015},
  doi          = {10.1142/S0218213020600015},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/Granvilliers20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcgo/Granvilliers19,
  author       = {Laurent Granvilliers},
  editor       = {Hoai An Le Thi and
                  Hoai Minh Le and
                  Tao Pham Dinh},
  title        = {Filtering Domains of Factorable Functions Using Interval Contractors},
  booktitle    = {Optimization of Complex Systems: Theory, Models, Algorithms and Applications,
                  {WCGO} 2019, World Congress on Global Optimization, Metz, France,
                  8-10 July, 2019},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {991},
  pages        = {99--108},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21803-4\_10},
  doi          = {10.1007/978-3-030-21803-4\_10},
  timestamp    = {Thu, 14 Oct 2021 10:20:21 +0200},
  biburl       = {https://dblp.org/rec/conf/wcgo/Granvilliers19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Granvilliers18,
  author       = {Laurent Granvilliers},
  editor       = {Lefteri H. Tsoukalas and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Miltiadis Alamaniotis},
  title        = {A New Interval Contractor Based on Optimality Conditions for Bound
                  Constrained Global Optimization},
  booktitle    = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2018, 5-7 November 2018, Volos, Greece},
  pages        = {90--97},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICTAI.2018.00024},
  doi          = {10.1109/ICTAI.2018.00024},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Granvilliers18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/MartinGGJ17,
  author       = {Benjamin Martin and
                  Alexandre Goldsztejn and
                  Laurent Granvilliers and
                  Christophe Jermann},
  title        = {Constraint propagation using dominance in interval Branch {\&}
                  Bound for nonlinear biobjective optimization},
  journal      = {Eur. J. Oper. Res.},
  volume       = {260},
  number       = {3},
  pages        = {934--948},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ejor.2016.05.045},
  doi          = {10.1016/J.EJOR.2016.05.045},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/MartinGGJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/MartinGGJ16,
  author       = {Benjamin Martin and
                  Alexandre Goldsztejn and
                  Laurent Granvilliers and
                  Christophe Jermann},
  title        = {On continuation methods for non-linear bi-objective optimization:
                  towards a certified interval-based approach},
  journal      = {J. Glob. Optim.},
  volume       = {64},
  number       = {1},
  pages        = {3--16},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10898-014-0201-3},
  doi          = {10.1007/S10898-014-0201-3},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgo/MartinGGJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamnum/MartinGGJ13,
  author       = {Benjamin Martin and
                  Alexandre Goldsztejn and
                  Laurent Granvilliers and
                  Christophe Jermann},
  title        = {Certified Parallelotope Continuation for One-Manifolds},
  journal      = {{SIAM} J. Numer. Anal.},
  volume       = {51},
  number       = {6},
  pages        = {3373--3401},
  year         = {2013},
  url          = {https://doi.org/10.1137/130906544},
  doi          = {10.1137/130906544},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamnum/MartinGGJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GoldsztejnGJ13,
  author       = {Alexandre Goldsztejn and
                  Laurent Granvilliers and
                  Christophe Jermann},
  editor       = {Christian Schulte},
  title        = {Constraint Based Computation of Periodic Orbits of Chaotic Dynamical
                  Systems},
  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        = {774--789},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40627-0\_57},
  doi          = {10.1007/978-3-642-40627-0\_57},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GoldsztejnGJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Granvilliers12,
  author       = {Laurent Granvilliers},
  editor       = {Michela Milano},
  title        = {Adaptive Bisection of Numerical CSPs},
  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        = {290--298},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33558-7\_23},
  doi          = {10.1007/978-3-642-33558-7\_23},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Granvilliers12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GoldsztejnG10,
  author       = {Alexandre Goldsztejn and
                  Laurent Granvilliers},
  title        = {A new framework for sharp and efficient resolution of {NCSP} with
                  manifolds of solutions},
  journal      = {Constraints An Int. J.},
  volume       = {15},
  number       = {2},
  pages        = {190--212},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10601-009-9082-3},
  doi          = {10.1007/S10601-009-9082-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/GoldsztejnG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/ChenouardGS10,
  author       = {Rapha{\"{e}}l Chenouard and
                  Laurent Granvilliers and
                  Ricardo Soto},
  editor       = {Ant{\^{o}}nio Carlos da Rocha Costa and
                  Rosa Maria Vicari and
                  Flavio Tonidandel},
  title        = {High-Level Modeling of Component-Based CSPs},
  booktitle    = {Advances in Artificial Intelligence - {SBIA} 2010 - 20th Brazilian
                  Symposium on Artificial Intelligence, S{\~{a}}o Bernardo do Campo,
                  Brazil, October 23-28, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6404},
  pages        = {233--242},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16138-4\_24},
  doi          = {10.1007/978-3-642-16138-4\_24},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sbia/ChenouardGS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-2897,
  author       = {Rapha{\"{e}}l Chenouard and
                  Laurent Granvilliers and
                  Ricardo Soto},
  title        = {Model-Driven Constraint Programming},
  journal      = {CoRR},
  volume       = {abs/1002.2897},
  year         = {2010},
  url          = {http://arxiv.org/abs/1002.2897},
  eprinttype    = {arXiv},
  eprint       = {1002.2897},
  timestamp    = {Fri, 30 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1002-2897.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-3023,
  author       = {Rapha{\"{e}}l Chenouard and
                  Laurent Granvilliers and
                  Ricardo Soto},
  title        = {Rewriting Constraint Models with Metamodels},
  journal      = {CoRR},
  volume       = {abs/1002.3023},
  year         = {2010},
  url          = {http://arxiv.org/abs/1002.3023},
  eprinttype    = {arXiv},
  eprint       = {1002.3023},
  timestamp    = {Fri, 30 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1002-3023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-3078,
  author       = {Rapha{\"{e}}l Chenouard and
                  Laurent Granvilliers and
                  Ricardo Soto},
  title        = {Using {ATL} to define advanced and flexible constraint model transformations},
  journal      = {CoRR},
  volume       = {abs/1002.3078},
  year         = {2010},
  url          = {http://arxiv.org/abs/1002.3078},
  eprinttype    = {arXiv},
  eprint       = {1002.3078},
  timestamp    = {Fri, 30 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1002-3078.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/ChenouardGS09,
  author       = {Rapha{\"{e}}l Chenouard and
                  Laurent Granvilliers and
                  Patrick S{\'{e}}bastian},
  title        = {Search heuristics for constraint-aided embodiment design},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {23},
  number       = {2},
  pages        = {175--195},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0890060409000055},
  doi          = {10.1017/S0890060409000055},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aiedam/ChenouardGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BergerG09,
  author       = {Nicolas Berger and
                  Laurent Granvilliers},
  editor       = {Vadim Bulitko and
                  J. Christopher Beck},
  title        = {Some Interval Approximation Techniques for {MINLP}},
  booktitle    = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
                  {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
  publisher    = {{AAAI}},
  year         = {2009},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/798},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/BergerG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChenouardGS09,
  author       = {Rapha{\"{e}}l Chenouard and
                  Laurent Granvilliers and
                  Ricardo Soto},
  editor       = {Vadim Bulitko and
                  J. Christopher Beck},
  title        = {Rewriting Constraint Models with Metamodels},
  booktitle    = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
                  {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
  publisher    = {{AAAI}},
  year         = {2009},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/786},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/ChenouardGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GoldsztejnG08,
  author       = {Alexandre Goldsztejn and
                  Laurent Granvilliers},
  editor       = {Peter J. Stuckey},
  title        = {A New Framework for Sharp and Efficient Resolution of {NCSP} with
                  Manifolds of Solutions},
  booktitle    = {Principles and Practice of Constraint Programming, 14th International
                  Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5202},
  pages        = {190--204},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85958-1\_13},
  doi          = {10.1007/978-3-540-85958-1\_13},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GoldsztejnG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/SotoG08,
  author       = {Ricardo Soto and
                  Laurent Granvilliers},
  editor       = {Ngoc Thanh Nguyen and
                  Leszek Borzemski and
                  Adam Grzech and
                  Moonis Ali},
  title        = {Tuning Constrained Objects},
  booktitle    = {New Frontiers in Applied Artificial Intelligence, 21st International
                  Conference on Industrial, Engineering and Other Applications of Applied
                  Intelligent Systems, {IEA/AIE} 2008, Wroclaw, Poland, June 18-20,
                  2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5027},
  pages        = {408--414},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69052-8\_43},
  doi          = {10.1007/978-3-540-69052-8\_43},
  timestamp    = {Thu, 16 Mar 2023 20:00:30 +0100},
  biburl       = {https://dblp.org/rec/conf/ieaaie/SotoG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChenouardGS08,
  author       = {Rapha{\"{e}}l Chenouard and
                  Laurent Granvilliers and
                  Ricardo Soto},
  editor       = {Sergio Antoy and
                  Elvira Albert},
  title        = {Model-driven constraint programming},
  booktitle    = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 15-17, 2008,
                  Valencia, Spain},
  pages        = {236--246},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1389449.1389479},
  doi          = {10.1145/1389449.1389479},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/ChenouardGS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/SotoG08,
  author       = {Ricardo Soto and
                  Laurent Granvilliers},
  editor       = {Ngoc Thanh Nguyen and
                  Radoslaw P. Katarzyniak},
  title        = {On the Pursuit of a Standard Language for Object-Oriented Constraint
                  Modeling},
  booktitle    = {New Challenges in Applied Intelligence Technologies},
  series       = {Studies in Computational Intelligence},
  volume       = {134},
  pages        = {123--133},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79355-7\_12},
  doi          = {10.1007/978-3-540-79355-7\_12},
  timestamp    = {Thu, 16 Mar 2023 20:00:38 +0100},
  biburl       = {https://dblp.org/rec/series/sci/SotoG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChenouardSG07,
  author       = {Rapha{\"{e}}l Chenouard and
                  Patrick S{\'{e}}bastian and
                  Laurent Granvilliers},
  editor       = {Christian Bessiere},
  title        = {Solving an Air Conditioning System Problem in an Embodiment Design
                  Context Using Constraint Satisfaction Techniques},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
                  International Conference, {CP} 2007, Providence, RI, USA, September
                  23-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4741},
  pages        = {18--32},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74970-7\_4},
  doi          = {10.1007/978-3-540-74970-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ChenouardSG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SotoG07,
  author       = {Ricardo Soto and
                  Laurent Granvilliers},
  title        = {The Design of {COMMA:} An Extensible Framework for Mapping Constrained
                  Objects to Native Solver Models},
  booktitle    = {19th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 1},
  pages        = {243--250},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICTAI.2007.119},
  doi          = {10.1109/ICTAI.2007.119},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/SotoG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/GranvilliersB06,
  author       = {Laurent Granvilliers and
                  Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Algorithm 852: RealPaver: an interval solver using constraint satisfaction
                  techniques},
  journal      = {{ACM} Trans. Math. Softw.},
  volume       = {32},
  number       = {1},
  pages        = {138--156},
  year         = {2006},
  url          = {https://doi.org/10.1145/1132973.1132980},
  doi          = {10.1145/1132973.1132980},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toms/GranvilliersB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BenhamouG06,
  author       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Laurent Granvilliers},
  editor       = {Francesca Rossi and
                  Peter van Beek and
                  Toby Walsh},
  title        = {Continuous and Interval Constraints},
  booktitle    = {Handbook of Constraint Programming},
  series       = {Foundations of Artificial Intelligence},
  volume       = {2},
  pages        = {571--603},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/S1574-6526(06)80020-9},
  doi          = {10.1016/S1574-6526(06)80020-9},
  timestamp    = {Tue, 23 Jan 2024 13:25:47 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/BenhamouG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GoualardG05,
  author       = {Fr{\'{e}}d{\'{e}}ric Goualard and
                  Laurent Granvilliers},
  editor       = {Hisham Haddad and
                  Lorie M. Liebrock and
                  Andrea Omicini and
                  Roger L. Wainwright},
  title        = {Controlled propagation in continuous numerical constraint networks},
  booktitle    = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
                  Santa Fe, New Mexico, USA, March 13-17, 2005},
  pages        = {377--382},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1066677.1066765},
  doi          = {10.1145/1066677.1066765},
  timestamp    = {Tue, 06 Nov 2018 11:06:45 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/GoualardG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/GranvilliersCB04,
  author       = {Laurent Granvilliers and
                  Jorge Cruz and
                  Pedro Barahona},
  title        = {Parameter Estimation Using Interval Computations},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {26},
  number       = {2},
  pages        = {591--612},
  year         = {2004},
  url          = {https://doi.org/10.1137/S1064827503426851},
  doi          = {10.1137/S1064827503426851},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/GranvilliersCB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/GranvilliersO04,
  author       = {Laurent Granvilliers and
                  Mina Ouabiba},
  editor       = {Bruno Buchberger and
                  John A. Campbell},
  title        = {Combination of Nonlinear Terms in Interval Constraint Satisfaction
                  Techniques},
  booktitle    = {Artificial Intelligence and Symbolic Computation, 7th International
                  Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3249},
  pages        = {118--131},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30210-0\_11},
  doi          = {10.1007/978-3-540-30210-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/GranvilliersO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/GranvilliersO04,
  author       = {Laurent Granvilliers and
                  Mina Ouabiba},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Contribution aux techniques de satisfaction de contraintes par combinaison
                  de termes non lin{\'{e}}aires},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Tue, 04 Jan 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/GranvilliersO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0406025,
  author       = {Fr{\'{e}}d{\'{e}}ric Goualard and
                  Laurent Granvilliers},
  title        = {Directional Consistency for Continuous Numerical Constraints},
  journal      = {CoRR},
  volume       = {cs.AI/0406025},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0406025},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0406025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocos/GarloffGS03,
  author       = {J{\"{u}}rgen Garloff and
                  Laurent Granvilliers and
                  Andrew P. Smith},
  editor       = {Christophe Jermann and
                  Arnold Neumaier and
                  Djamila Sam{-}Haroud},
  title        = {Accelerating Consistency Techniques and Prony's Method for Reliable
                  Parameter Estimation of Exponential Sums},
  booktitle    = {Global Optimization and Constraint Satisfaction, Second International
                  Workshop, {COCOS} 2003, Lausanne, Switzerland, November 18-21, 2003,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3478},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11425076\_3},
  doi          = {10.1007/11425076\_3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cocos/GarloffGS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GranvilliersKM03,
  author       = {Laurent Granvilliers and
                  Vladik Kreinovich and
                  Norbert Th. M{\"{u}}ller},
  editor       = {Ren{\'{e}} Alt and
                  Andreas Frommer and
                  R. Baker Kearfott and
                  Wolfram Luther},
  title        = {Novel Approaches to Numerical Software with Result Verification},
  booktitle    = {Numerical Software with Result Verification, International Dagstuhl
                  Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2991},
  pages        = {274--305},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24738-8\_17},
  doi          = {10.1007/978-3-540-24738-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GranvilliersKM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GranvilliersM03,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy},
  editor       = {Catuscia Palamidessi},
  title        = {Implementing Constraint Propagation by Composition of Reductions},
  booktitle    = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
                  India, December 9-13, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2916},
  pages        = {300--314},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24599-5\_21},
  doi          = {10.1007/978-3-540-24599-5\_21},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/GranvilliersM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/CeberioG02,
  author       = {Martine Ceberio and
                  Laurent Granvilliers},
  title        = {Horner's Rule for Interval Evaluation Revisited},
  journal      = {Computing},
  volume       = {69},
  number       = {1},
  pages        = {51--81},
  year         = {2002},
  url          = {https://doi.org/10.1007/s00607-002-1448-y},
  doi          = {10.1007/S00607-002-1448-Y},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/CeberioG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChristieLG02,
  author       = {Marc Christie and
                  {\'{E}}ric Langu{\'{e}}nou and
                  Laurent Granvilliers},
  editor       = {Pascal Van Hentenryck},
  title        = {Modeling Camera Control with Constrained Hypertubes},
  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        = {618--632},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46135-3\_41},
  doi          = {10.1007/3-540-46135-3\_41},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ChristieLG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CeberioG02,
  author       = {Martine Ceberio and
                  Laurent Granvilliers},
  editor       = {Alessandro Armando},
  title        = {Solving Nonlinear Equations by Abstraction, Gaussian Elimination,
                  and Interval Methods},
  booktitle    = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
                  2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2309},
  pages        = {117--131},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45988-X\_10},
  doi          = {10.1007/3-540-45988-X\_10},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/CeberioG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/JaulinCG02,
  author       = {Luc Jaulin and
                  Marc Christie and
                  Laurent Granvilliers},
  editor       = {Michel Rueher},
  title        = {Quelques applications de la propagation de contraintes sur les domaines
                  continus en automatique},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2002, 27-30 Mai
                  2002, Universit{\'{e}} de Nice Sophia-Antipolis, France},
  pages        = {43},
  year         = {2002},
  timestamp    = {Mon, 24 May 2004 15:53:56 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JaulinCG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/GranvilliersB01,
  author       = {Laurent Granvilliers and
                  Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Progress in the Solving of a Circuit Design Problem},
  journal      = {J. Glob. Optim.},
  volume       = {20},
  number       = {2},
  pages        = {155--168},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011266226870},
  doi          = {10.1023/A:1011266226870},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgo/GranvilliersB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Granvilliers01,
  author       = {Laurent Granvilliers},
  title        = {On the Combination of Interval Constraint Solvers},
  journal      = {Reliab. Comput.},
  volume       = {7},
  number       = {6},
  pages        = {467--483},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1014750702474},
  doi          = {10.1023/A:1014750702474},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Granvilliers01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GranvilliersM01,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy},
  editor       = {Toby Walsh},
  title        = {Composition Operators for Constraint Propagation: An Application to
                  Choco},
  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        = {600--604},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45578-7\_47},
  doi          = {10.1007/3-540-45578-7\_47},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GranvilliersM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/GranvilliersM01,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy},
  editor       = {Dines Bj{\o}rner and
                  Manfred Broy and
                  Alexandre V. Zamulin},
  title        = {A Graphical Interface for Solver Cooperations},
  booktitle    = {Perspectives of System Informatics, 4th International Andrei Ershov
                  Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
                  July 2-6, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2244},
  pages        = {457--467},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45575-2\_44},
  doi          = {10.1007/3-540-45575-2\_44},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/GranvilliersM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GranvilliersMB01,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy and
                  Fr{\'{e}}d{\'{e}}ric Benhamou},
  editor       = {Erich L. Kaltofen and
                  Gilles Villard},
  title        = {Symbolic-interval cooperation in constraint programming},
  booktitle    = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
                  Ontario, London, Ontario, Canada, July 22-25, 2001},
  pages        = {150--166},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/384101.384123},
  doi          = {10.1145/384101.384123},
  timestamp    = {Mon, 03 Apr 2023 17:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/GranvilliersMB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0107002,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy},
  title        = {Enhancing Constraint Propagation with Composition Operators},
  journal      = {CoRR},
  volume       = {cs.AI/0107002},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0107002},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0107002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/GranvilliersH00,
  author       = {Laurent Granvilliers and
                  Ga{\'{e}}tan Hains},
  title        = {A conservative scheme for parallel interval narrowing},
  journal      = {Inf. Process. Lett.},
  volume       = {74},
  number       = {3-4},
  pages        = {141--146},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0020-0190(00)00048-X},
  doi          = {10.1016/S0020-0190(00)00048-X},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/GranvilliersH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/advis/GranvilliersM00,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy},
  editor       = {Tatyana M. Yakhno},
  title        = {Declarative Modelling of Constraint Propagation Strategies},
  booktitle    = {Advances in Information Systems, First International Conference, {ADVIS}
                  2000, Izmir, Turkey, 25-27 October 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1909},
  pages        = {201--215},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40888-6\_19},
  doi          = {10.1007/3-540-40888-6\_19},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/advis/GranvilliersM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CeberioG00,
  author       = {Martine Ceberio and
                  Laurent Granvilliers},
  editor       = {John A. Campbell and
                  Eugenio Roanes{-}Lozano},
  title        = {Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic},
  booktitle    = {Artificial Intelligence and Symbolic Computation, International Conference
                  {AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1930},
  pages        = {127--141},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44990-6\_10},
  doi          = {10.1007/3-540-44990-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/CeberioG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GranvilliersM00,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy},
  editor       = {Rina Dechter},
  title        = {Constraint Propagation: Between Abstract Models and ad hoc Strategies},
  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        = {505--509},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45349-0\_39},
  doi          = {10.1007/3-540-45349-0\_39},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GranvilliersM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Granvilliers00,
  author       = {Laurent Granvilliers},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Towards Cooperative Interval Narrowing},
  booktitle    = {Frontiers of Combining Systems, Third International Workshop, FroCoS
                  2000, Nancy, France, March 22-24, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1794},
  pages        = {18--31},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10720084\_2},
  doi          = {10.1007/10720084\_2},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/Granvilliers00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/GranvilliersM00,
  author       = {Laurent Granvilliers and
                  {\'{E}}ric Monfroy},
  editor       = {Toura{\"{\i}}vane},
  title        = {Mod{\'{e}}lisation d{\'{e}}clarative de strat{\'{e}}gies
                  de propagation de contraintes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {109--124},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/GranvilliersM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CeberioG00,
  author       = {Martine Ceberio and
                  Laurent Granvilliers},
  editor       = {Toura{\"{\i}}vane},
  title        = {R{\'{e}}solution de syst{\`{e}}mes non lin{\'{e}}aires par
                  inversion des contraintes et analyse par intervalles},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
                  2000, Marseille, France},
  pages        = {205--220},
  publisher    = {Hermes},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CeberioG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/GoualardBG99,
  author       = {Fr{\'{e}}d{\'{e}}ric Goualard and
                  Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Laurent Granvilliers},
  title        = {An Extension of the {WAM} for Hybrid Interval Solvers},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 1},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/GoualardBG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/BenhamouGG99,
  author       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Laurent Granvilliers and
                  Fr{\'{e}}d{\'{e}}ric Goualard},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Interval Constraints: Results and Perspectives},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_1},
  doi          = {10.1007/3-540-44654-0\_1},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/BenhamouGG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BenhamouGGP99,
  author       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Fr{\'{e}}d{\'{e}}ric Goualard and
                  Laurent Granvilliers and
                  Jean{-}Francois Puget},
  editor       = {Danny De Schreye},
  title        = {Revising Hull and Box Consistency},
  booktitle    = {Logic Programming: The 1999 International Conference, Las Cruces,
                  New Mexico, USA, November 29 - December 4, 1999},
  pages        = {230--244},
  publisher    = {{MIT} Press},
  year         = {1999},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BenhamouGGP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GranvilliersGB99,
  author       = {Laurent Granvilliers and
                  Fr{\'{e}}d{\'{e}}ric Goualard and
                  Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Box Consistency through Weak Box Consistency},
  booktitle    = {11th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '99, Chicago, Illinois, USA, November 8-10, 1999},
  pages        = {373--380},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/TAI.1999.809826},
  doi          = {10.1109/TAI.1999.809826},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/GranvilliersGB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Granvilliers99,
  author       = {Laurent Granvilliers},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Strat{\'{e}}gies de r{\'{e}}solution de {CSP} num{\'{e}}riques},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {221--240},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 12:53:17 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Granvilliers99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Granvilliers97,
  author       = {Laurent Granvilliers},
  title        = {A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear
                  Polynomial Systems},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {4},
  number       = {2},
  pages        = {125--146},
  year         = {1998},
  url          = {https://doi.org/10.3217/jucs-004-02-0125},
  doi          = {10.3217/JUCS-004-02-0125},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/Granvilliers97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/BenhamouG97,
  author       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Laurent Granvilliers},
  title        = {Automatic Generation of Numerical Redundancies for Non-Linear Constraint
                  Solving},
  journal      = {Reliab. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {335--344},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1009943413814},
  doi          = {10.1023/A:1009943413814},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/BenhamouG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Granvilliers97,
  author       = {Laurent Granvilliers},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Transformations symboliques et consistance de bloc de {CSP} continus},
  booktitle    = {JFPLC'97, Sixi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 26-28 mai 1997, Orl{\'{e}}ans,
                  France},
  pages        = {195--210},
  publisher    = {Hermes},
  year         = {1997},
  timestamp    = {Thu, 27 May 2004 08:38:46 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Granvilliers97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BenhamouG96,
  author       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Laurent Granvilliers},
  editor       = {Jacques Calmet and
                  John A. Campbell and
                  Jochen Pfalzgraf},
  title        = {Combining Local Consistency, Symbolic Rewriting and Interval Methods},
  booktitle    = {Artificial Intelligence and Symbolic Mathematical Computation, International
                  Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1138},
  pages        = {144--159},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61732-9\_55},
  doi          = {10.1007/3-540-61732-9\_55},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/BenhamouG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics