Accéder directement au contenu

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

"nicolasbeldiceanu"
Image document

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae

Ramiz Gindullin , Nicolas Beldiceanu , Jovial Cheukam-Ngouonou , Rémi Douence , Claude-Guy Quimper
AAAI 2024 - 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada
Communication dans un congrès hal-04460576v1
Image document

Boolean-Arithmetic Equations: Acquisition and Uses

R Gindullin , Nicolas Beldiceanu , Jovial Cheukam Ngouonou , Rémi Douence , Claude-Guy Quimper
CPAIOR 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
Image document

Acquiring Maps of Interrelated Conjectures on Sharp Bounds

Nicolas Beldiceanu , Jovial Cheukam-Ngouonou , Rémi Douence , Ramiz Gindullin , Claude-Guy Quimper
CP 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
Image document

Time-Series Constraints: Improvements and Application in CP and MIP Contexts

Ekaterina Arafailova , Nicolas Beldiceanu , Rémi Douence , Pierre Flener , María Andreína Francisco Rodríguez
CPAIOR 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