Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
Ngouonou, Jovial Cheukam, Gindullin, Ramiz, Quimper, Claude-Guy, Beldiceanu, Nicolas, Douence, Remi
–arXiv.org Artificial Intelligence
We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.
arXiv.org Artificial Intelligence
Nov-4-2025