Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.
cs.AI↗
arXiv subjects
Jovial Cheukam Ngouonou
Publications and source records attributed to Jovial Cheukam Ngouonou.