
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 types32nd 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
|
|
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⟩
Communication dans un congrès
hal-02457083
v1
|
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⟩
Communication dans un congrès
hal-03068260
v1
|
|
|
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⟩
Communication dans un congrès
hal-01885769
v1
|
|
Améliorer la propagation : l'Importance d'être InconsistantTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-01735167
v1
|
|
A combination of abstract interpretation and constraint programmingModeling and Simulation. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS429⟩
Thèse
tel-03987752
v1
|
Chargement...
Chargement...