Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Authors: Nicolas Beldiceanu, Jovial Cheukam Ngouonou, Rémi Douence, Ramiz Gindullin and Claude-Guy Quimper
Paper Information
Title: | Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds |
Authors: | Nicolas Beldiceanu, Jovial Cheukam Ngouonou, Rémi Douence, Ramiz Gindullin and Claude-Guy Quimper |
Proceedings: | dpcp22 Doctoral Program Papers |
Editor: | Hélène Verhaeghe |
Keywords: | Computing methodologies, Artificial intelligence, Search methodologies, Heuristic function construction, Mathematics of computing, Discrete mathematics, Combinatorics, Combinatorial optimization |
Pages: | 4 |
Talk: | Aug 01 17:26 (Session 37R: Doctoral Program) |
Paper: |