Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

Finding solutions by finding inconsistencies

 Ghiles Ziat , Marie Pelleau , Charlotte Truchet , Antoine Miné
CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.1-16
Communication dans un congrès hal-01885769v1
Image document

Améliorer la propagation : l'Importance d'être Inconsistant

 Ghiles Ziat , Marie Pelleau , Charlotte Truchet , Antoine Miné
Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès hal-01735167v1

Abstract domains for constraint programming with differential equations

 Ghiles Ziat , Olivier Mullier , Julien Alexandre Dit Sandretto , Christophe Garion , Alexandre Chapoutot , et al.
NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
Communication dans un congrès hal-03068260v1

Combination of Boxes and Polyhedra Abstractions for Constraint Solving

 Ghiles Ziat , Alexandre Maréchal , Marie Pelleau , Antoine Miné , Charlotte Truchet
The 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal
Communication dans un congrès hal-02457083v1
Image document

A combination of abstract interpretation and constraint programming

 Ghiles Ziat
Modeling and Simulation. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS429⟩
Thèse tel-03987752v1

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types

 Vincent Botbol , Ghiles Ziat , Matthieu Dien , Arnaud Gotlieb , Martin Pépin , et al.
32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Sep 2022, Tbilisi, Georgia
Communication dans un congrès hal-04551862v1
Page :