Jovial Cheukam-Ngouonou

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Boolean Queries

Top Venues

Publications

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)