| ||||
| ||||
![]() Title:Acquiring Maps of Interrelated Conjectures on Sharp Bounds Authors:Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin and Claude-Guy Quimper Conference:CP2022 Tags:Acquisition of conjectures, bounds and digraphs Abstract: 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 then describe a Bound Seeker, a CP-based system, that gradually acquires maps of conjectures. The system was tested for searching conjectures on bounds on characteristics of digraphs: it constructs sixteen maps involving 431 conjectures on sharp lower and upper-bounds on eight digraph characteristics. Acquiring Maps of Interrelated Conjectures on Sharp Bounds ![]() Acquiring Maps of Interrelated Conjectures on Sharp Bounds | ||||
Copyright © 2002 – 2025 EasyChair |