Login / Signup
Ramiz Gindullin
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Tight Bounds
Logical Implication
Horn Theories
Functional Dependencies
Top Venues
CoRR
CP
AAAI
CPAIOR
</>
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)