 |
Conference papers
Combination of Boxes and Polyhedra Abstractions for Constraint Solving
Ghiles Ziat 1
Mail :
Author IdHAL : ghiles-ziat
Alexandre Maréchal 2
Mail :
Author
Marie Pelleau 3
Mail :
Author IdHAL : marie-pelleau
Antoine Miné 4
Mail :
Author IdHAL : antoine-mine
Charlotte Truchet 5
Mail :
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 - France)
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5104 (France)
- UGA - Université Grenoble Alpes (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 (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- UCA - Université Côte d'Azur (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
4
LIENS - Laboratoire d'informatique de l'école normale supérieure (45 Rue d'Ulm 75230 PARIS CEDEX 05 - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8548 (France)
5
LINA - Laboratoire d'Informatique de Nantes Atlantique (LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3 - France)
- Mines Nantes - Mines Nantes (La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3 - France)
- UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6241 (France)
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-02457083
Contributor : Marie Pelleau <>
Submitted on : Monday, January 27, 2020 - 5:54:23 PM
Last modification on : Thursday, March 26, 2020 - 1:17:02 AM
Contributor : Marie Pelleau <>
Submitted on : Monday, January 27, 2020 - 5:54:23 PM
Last modification on : Thursday, March 26, 2020 - 1:17:02 AM
Identifiers
- HAL Id : hal-02457083, version 1
Collections
IMAG | LINA | UNIV-NANTES | VERIMAG | ENS-PARIS | SORBONNE-UNIVERSITE | LIP6 | PSL | CNRS | UGA | SU-SCIENCES | I3S | UNICE | UNIV-COTEDAZUR
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
