- 3
- 1
- 1
Rémi Douence
5
Documents
Affiliations actuelles
- 495900
- 489559
Domaines de recherche
Génie logiciel [cs.SE]
Compétences
Functional Languages
Semantics
Certified Programming
Haskell
Agda
Java
Object-Oriented Languages
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
|
Using finite transducers for describing and synthesising structural time-series constraintsConstraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩
Article dans une revue
hal-01370322v1
|
|
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex FormulaeAAAI 2024 - 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada
Communication dans un congrès
hal-04460576v1
|
|
Boolean-Arithmetic Equations: Acquisition and UsesCPAIOR 2023 - 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2023, Nice, France. pp.378-394, ⟨10.1007/978-3-031-33271-5_25⟩
Communication dans un congrès
hal-04460561v1
|
|
Acquiring Maps of Interrelated Conjectures on Sharp BoundsCP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.1-18, ⟨10.4230/LIPIcs.CP.2022.6⟩
Communication dans un congrès
hal-03789045v1
|
|
Time-Series Constraints: Improvements and Application in CP and MIP ContextsCPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, May 2016, Banff, Canada. pp.18-34, ⟨10.1007/978-3-319-33954-2⟩
Communication dans un congrès
hal-01355262v1
|