collaborators

1 paper

cs.AI2025

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures

Jovial Cheukam Ngouonou, Ramiz Gindullin, Claude-Guy Quimper +2

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.