Sign in
Ramiz Gindullin
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Boolean Queries
Top Venues
CoRR
CP
CPAIOR
</>
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)