Combination of Boxes and Polyhedra Abstractions for Constraint Solving - Archive ouverte HAL Access content directly
Conference Papers Year : 2019
No file

Dates and versions

hal-02457083 , version 1 (27-01-2020)

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⟩
131 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More