ghiles ziat
Publications
Publications
|
|
An Efficient and Uniform CSP Solution Generator Generator31st 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⟩ |
|
|
Automatic synthesis of random generators for numerically constrained algebraic recursive types32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Sep 2022, Tbilisi, Georgia. ⟨10.48550/arXiv.2208.12747⟩ |
Abstract domains for constraint programming with differential equationsNSAD 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⟩ |
|
|
|
Combination of Boxes and Polyhedra Abstractions for Constraint SolvingThe 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⟩ |
|
|
Finding solutions by finding inconsistenciesCP 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⟩ |
|
|
Améliorer la propagation : l'Importance d'être InconsistantTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France |
|
|
Position paper: What is a flaky test?2025 |
|
|
A combination of abstract interpretation and constraint programmingModeling and Simulation. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS429⟩ |