Ramiz Gindullin

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

Collaborative distances:

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

2024

Learning concise constraint models from error-free data: studies on learning Boolean-arithmetic equations and short-term scheduling models. (Apprentissage de modèles à contraintes concis à partir de données sans erreurs: études sur l'acquisition d'équations arithmétiques booléennes et de modèles d'ordonnancement à court terme).

Ramiz Gindullin

PhD thesis, 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