A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Authors: Ramiz Gindullin, Nicolas Beldiceanu and Jovial Cheukam Ngouonou
Paper Information
| Title: | A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds |
| Authors: | Ramiz Gindullin, Nicolas Beldiceanu and Jovial Cheukam Ngouonou |
| Proceedings: | dpcp22 Doctoral Program Papers |
| Editor: | Hélène Verhaeghe |
| Keywords: | Computing methodologies, Artificial intelligence, Search methodologies, Mathematics of computing, Discrete mathematics, Combinatorics, Combinatorial optimization |
| Pages: | 5 |
| Talk: | Aug 01 17:00 (Session 37R: Doctoral Program) |
| Paper: |  |