Ghiles Ziat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2018–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CP | An Efficient and Uniform CSP Solution Generator Generator. | Ghiles Ziat, Martin Ppin |
| 2021 | CP | Automated Random Testing of Numerical Constrained Types. | Ghiles Ziat, Matthieu Dien, Vincent Botbol |
| 2019 | FM | Combination of Boxes and Polyhedra Abstractions for Constraint Solving. | Ghiles Ziat, Alexandre Marchal, Marie Pelleau, Antoine Min, Charlotte Truchet |
| 2018 | CP | Finding Solutions by Finding Inconsistencies. | Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Min |