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)

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)