Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Laurent Granvilliers
@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} }
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.