Conference Papers
Year : 2019
Marie Pelleau : Connect in order to contact the contributor
https://hal.science/hal-02457083
Submitted on : Monday, January 27, 2020-5:54:23 PM
Last modification on : Wednesday, September 6, 2023-10:42:10 AM
Dates and versions
Identifiers
- HAL Id : hal-02457083 , version 1
Cite
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
131
View
0
Download