HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ghiles Ziat

Publications
Combination of Boxes and PolyhedraAbstractions for Constraint Solving
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet
EasyChair Preprint 1906

Keyphrases

abstract domains, abstract interpretation, Constraint Programming, propagation, Reduced Products.

Copyright © 2012-2025 easychair.org. All rights reserved.