Filtrer vos résultats
- 8
- 6
- 12
- 1
- 1
- 14
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 10
- 4
- 7
- 6
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 9
- 5
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
14 résultats
|
|
triés par
|
|
Un solveur de contraintes basé sur les domaines abstraits9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268
Communication dans un congrès
hal-00925430v1
|
||
|
Domaines abstraits en programmation par contraintesInformatique [cs]. Université de Nantes (FR), 2012. Français. ⟨NNT : ⟩
Thèse
tel-03299271v1
|
||
Abstract Domains for Constraint Programming, with the Example of Octagons12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2010, Timisoara, Romania. pp.72-79, ⟨10.1109/SYNASC.2010.69⟩
Communication dans un congrès
hal-01147921v1
|
|||
|
Finding solutions by finding inconsistenciesCP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.1-16
Communication dans un congrès
hal-01885769v1
|
||
The octagon abstract domain for continuous constraintsConstraints, 2014, 19 (3), pp.309--337. ⟨10.1007/s10601-014-9162-x⟩
Article dans une revue
hal-01147912v1
|
|||
Scheduling agents using forecast call arrivals at Hydro-Quebec's call centers20th International Conference on Principles and Practice of Constraint Programming (CP 2014), Sep 2014, Lyon, France. pp.862-869, ⟨10.1007/978-3-319-10428-7_61⟩
Communication dans un congrès
hal-01112635v1
|
|||
|
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-01735167v1
|
||
|
A Constraint Solver based on Abstract DomainsVMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.434--454, ⟨10.1007/978-3-642-35873-9_26⟩
Communication dans un congrès
hal-00785604v1
|
||
|
Octagonal Domains for Continuous Constraints17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italy. pp.706--720
Communication dans un congrès
hal-00785598v1
|
||
|
Towards a constraint system for round-off error analysis of floating-point computation24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France
Communication dans un congrès
hal-01956046v1
|
||
|
Contraintes de cardinalité cachées dans les preuves d'insatisfaisabilité15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Communication dans un congrès
hal-02271389v1
|
||
Combination of Boxes and Polyhedra Abstractions for Constraint SolvingThe 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal
Communication dans un congrès
hal-02457083v1
|
|||
Identification of Dynamic Parameters for Gene Networks2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, France. pp.122-129
Communication dans un congrès
hal-02002503v1
|
|||
|
Sonet Network Design Problems6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, ⟨10.4204/EPTCS.5.7⟩
Communication dans un congrès
hal-00482523v1
|