 |
Free and accessible knowledge |
Conference papers
Combination of Boxes and Polyhedra Abstractions for Constraint Solving
Ghiles Ziat 1 Alexandre Maréchal 2 Marie Pelleau 3 Antoine Miné 1, 4 Charlotte Truchet 5, 6
6
TASC - Théorie, Algorithmes et Systèmes en Contraintes
LS2N - Laboratoire des Sciences du Numérique de Nantes
Ghiles Ziat 1
Author
IdHAL : ghiles-ziatIdRef : 250750422
Alexandre Maréchal 2
Author
Marie Pelleau 3
Author
IdHAL : marie-pelleau
Antoine Miné 1, 4
Author
IdHAL : antoine-mineORCID : 0000-0002-6375-3179IdRef : 111391636
Charlotte Truchet 5, 6
Author
IdHAL : charlotte-truchetORCID : 0000-0001-9234-6188IdRef : 183896068
1
APR - Algorithmes, Programmes et Résolution (France)
- LIP6 (4 Place JUSSIEU 75252 PARIS CEDEX 05 - France)
- SU - Sorbonne Université (21 rue de l’École de médecine - 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7606 (France)
2
VERIMAG - IMAG - VERIMAG (Verimag
Bâtiment IMAG
Université Grenoble Alpes
700, avenue centrale
38401 Saint Martin d’Hères - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5104 (France)
- UGA - Université Grenoble Alpes (Adresse CS 40700 - 38058 Grenoble cedex - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- UGA - Université Grenoble Alpes (Adresse CS 40700 - 38058 Grenoble cedex - France)
3
I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
- UNS - Université Nice Sophia Antipolis (1965 - 2019) (Parc Valrose, 06100 Nice - France)
- COMUE UCA - COMUE Université Côte d'Azur (2015-2019) (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
- UCA - Université Côte d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)
4
IUF - Institut Universitaire de France (Maison des Universités 103 Boulevard Saint-Michel 75005 Paris - France)
- M.E.N.E.S.R. - Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (1 rue Descartes - 75231 Paris cedex 05 - France)
5
LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST)
2 Chemin de la Houssinière
BP 92208, 44322 Nantes Cedex 3 - France)
- UN UFR ST - Université de Nantes - UFR des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France)
- UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France)
- ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6004 (France)
- IMT Atlantique - IMT Atlantique (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
6
TASC - Théorie, Algorithmes et Systèmes en Contraintes (France)
- LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST)
2 Chemin de la Houssinière
BP 92208, 44322 Nantes Cedex 3 - France)
- UN UFR ST - Université de Nantes - UFR des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France)
- UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France)
- ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6004 (France)
- IMT Atlantique - IMT Atlantique (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UN UFR ST - Université de Nantes - UFR des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France)
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-02457083
Contributor : Marie Pelleau Connect in order to contact the contributor
Submitted on : Monday, January 27, 2020 - 5:54:23 PM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM
Contributor : Marie Pelleau Connect in order to contact the contributor
Submitted on : Monday, January 27, 2020 - 5:54:23 PM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM
Identifiers
- HAL Id : hal-02457083, version 1
Collections
UNIV-NANTES | INSTITUT-TELECOM | UGA | IMAG | CNRS | EC-NANTES | I3S | UNAM | LIP6 | VERIMAG | LS2N | LS2N-TASC | UNIV-COTEDAZUR | SORBONNE-UNIVERSITE | SU-SCIENCES | NANTES-UNIVERSITE
Citation
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet. Combination of Boxes and Polyhedra Abstractions for Constraint Solving. The 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal. ⟨hal-02457083⟩
Metrics
Record views