Acquiring Maps of Interrelated Conjectures on Sharp Bounds. - Nicolas Beldiceanu; Jovial Cheukam-Ngouonou; Rémi Douence; Ramiz Gindullin; Claude-Guy Quimper (CP, 2022)

Boolean-Arithmetic Equations: Acquisition and Uses. - Ramiz Gindullin; Nicolas Beldiceanu; Jovial Cheukam-Ngouonou; Rémi Douence; Claude-Guy Quimper (CPAIOR, 2023)

Proving Conjectures Acquired by Composing Multiple Biases. - Jovial Cheukam-Ngouonou; Ramiz Gindullin; Nicolas Beldiceanu; Rémi Douence; Claude-Guy Quimper (CoRR, 2023)

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)

Learning concise constraint models from error-free data: studies on learning Boolean-arithmetic equations and short-term scheduling models. (Apprentissage de modèles à contraintes concis à partir de données sans erreurs: études sur l'acquisition d'équations arithmétiques booléennes et de modèles d'ordonnancement à court terme). - Ramiz Gindullin (2024)

Acquiring and Selecting Implied Constraints with an Application to the BinSeq and Partition Global Constraints. - Jovial Cheukam-Ngouonou; Ramiz Gindullin; Claude-Guy Quimper; Nicolas Beldiceanu; Rémi Douence (CPAIOR (2), 2025)

Minimising Source-Plate Swaps for Robotised Compound Dispensing in Microplates. - Ramiz Gindullin; María Andreína Francisco Rodríguez; Brinton Seashore-Ludlow; Ola Spjuth (CPAIOR (1), 2025)