 |
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-ziat
Alexandre Maréchal 2
Author
Marie Pelleau 3
Author IdHAL : marie-pelleau
Antoine Miné 1, 4
Author IdHAL : antoine-mine ORCID : https://orcid.org/0000-0002-6375-3179
Charlotte Truchet 5, 6
Author IdHAL : charlotte-truchet ORCID : https://orcid.org/0000-0001-9234-6188
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)
- 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)
- UGA - Université Grenoble Alpes (Adresse CS 40700 - 38058 Grenoble cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5104 (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 (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - 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)
- CNRS - Centre National de la Recherche Scientifique : UMR6004 (France)
- ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France)
- Université de Nantes - Faculté 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)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (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)
- CNRS - Centre National de la Recherche Scientifique : UMR6004 (France)
- ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France)
- Université de Nantes - Faculté 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)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (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)
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-02457083
Contributor : Marie Pelleau <>
Submitted on : Monday, January 27, 2020 - 5:54:23 PM
Last modification on : Tuesday, March 23, 2021 - 9:28:02 AM
Contributor : Marie Pelleau <>
Submitted on : Monday, January 27, 2020 - 5:54:23 PM
Last modification on : Tuesday, March 23, 2021 - 9:28:02 AM
Identifiers
- HAL Id : hal-02457083, version 1
Collections
IMAG | UNIV-NANTES | VERIMAG | SORBONNE-UNIVERSITE | LIP6 | CNRS | SU-SCIENCES | I3S | UNICE | UNIV-COTEDAZUR | UGA | LS2N-TASC | LS2N | EC-NANTES | UNAM | INSTITUT-TELECOM
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