Skip to Main content Skip to Navigation
Conference papers

Combination of Boxes and Polyhedra Abstractions for Constraint Solving

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

Identifiers

  • HAL Id : hal-02457083, version 1

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⟩

Share

Metrics

Record views

30