Filter your results
- 2
- 2
- 4
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
4 Results
|
|
sorted by
|
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⟩
Conference papers
hal-03068260v1
|
|||
|
Améliorer la propagation : l'Importance d'être InconsistantTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Conference papers
hal-01735167v1
|
||
|
Finding solutions by finding inconsistenciesCP 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 SolvingThe 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal
Conference papers
hal-02457083v1
|