Jovial Cheukam-Ngouonou

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Logical Implication

Functional Dependencies

Top Venues

Publications

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. AAAI (2024)
Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper
Boolean-Arithmetic Equations: Acquisition and Uses. CPAIOR (2023)
Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper
Proving Conjectures Acquired by Composing Multiple Biases. CoRR (2023)
Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper
Acquiring Maps of Interrelated Conjectures on Sharp Bounds. CP (2022)