Combination of Boxes and Polyhedra Abstractions for Constraint Solving - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019
Fichier non déposé

Dates et versions

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

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⟩
141 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More