AIOct 31, 2025
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected ConjecturesJovial Cheukam Ngouonou, Ramiz Gindullin, Claude-Guy Quimper et al.
We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.