Communication Dans Un Congrès
Année : 2019
Marie Pelleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02457083
Soumis le : lundi 27 janvier 2020-17:54:23
Dernière modification le : lundi 15 avril 2024-11:25:23
Dates et versions
Identifiants
- HAL Id : hal-02457083 , version 1
Citer
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⟩
Collections
141
Consultations
0
Téléchargements