Ramiz Gindullin

According to our database, Ramiz Gindullin authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Proving Conjectures Acquired by Composing Multiple Biases.

Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper

CoRR, 2023

Boolean-Arithmetic Equations: Acquisition and Uses.

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

Acquiring Maps of Interrelated Conjectures on Sharp Bounds.

Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022