gz

ghiles ziat

83%
Libre accès
6
Documents

Présentation

Publications

1
1
1
1
1
1
1
1
1
1
1
1
1
3
3
2
1
1
1
1
1
1
1
1
1
1
1
1
3
1
1
1

Publications

Automatic synthesis of random generators for numerically constrained algebraic recursive types

Ghiles Ziat , Vincent Botbol , 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. ⟨10.48550/arXiv.2208.12747⟩
Communication dans un congrès hal-04551862 v1
Image document

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 - NSAD 2019, Oct 2019, Porto, Portugal. pp.119--135, ⟨10.1007/978-3-030-54997-8_8⟩
Communication dans un congrès hal-02457083 v1

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-03068260 v1
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.420--435, ⟨10.1007/978-3-319-98334-9_28⟩
Communication dans un congrès hal-01885769 v1
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-01735167 v1