Search - Archive ouverte HAL Access content directly

Filter your results

4 Results

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⟩
Conference papers hal-03068260v1
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
Conference papers hal-01735167v1
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.1-16
Conference papers hal-01885769v1

Combination of Boxes and Polyhedra Abstractions for Constraint Solving

Ghiles Ziat , Alexandre Maréchal , Marie Pelleau , Antoine Miné , Charlotte Truchet et al.
The 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal
Conference papers hal-02457083v1