FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: