Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Gindullin, Ramiz"'
Autor:
Cheukam-Ngouonou, Jovial, Gindullin, Ramiz, Beldiceanu, Nicolas, Douence, Rémi, Quimper, Claude-Guy
We present the proofs of the conjectures mentioned in the paper published in the proceedings of the 2024 AAAI conference [1], and discovered by the decomposition methods presented in the same paper.
Externí odkaz:
http://arxiv.org/abs/2312.08990
Autor:
Beldiceanu, Nicolas, Cheukam-Ngouonou, Jovial, Douence, Rémi, Gindullin, Ramiz, Quimper, Claude-Guy
Publikováno v:
CP 2022-28th International Conference on Principles and Practice of Constraint Programming
CP 2022-28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.1-18, ⟨10.4230/LIPIcs.CP.2022.6⟩
CP 2022-28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.1-18, ⟨10.4230/LIPIcs.CP.2022.6⟩
To automate the discovery of conjectures on combinatorial objects, we introduce the concept of a map of sharp bounds on characteristics of combinatorial objects, that provides a set of interrelated sharp bounds for these combinatorial objects. We the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61db8217a34ba060299e347c4df26dab