gz

ghiles ziat

88 %
Libre accès
8
Documents

Publications

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

Publications

Deposit thumbnail

An Efficient and Uniform CSP Solution Generator Generator

Ghiles Ziat , Martin Pépin

31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.40:1-40:18, ⟨10.4230/LIPIcs.CP.2025.40⟩

Communication dans un congrès hal-05294541v1

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-04551862v1

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
Deposit thumbnail

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-02457083v1
Deposit thumbnail

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-01885769v1
Deposit thumbnail

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