Preprint
/
Version 0
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
Authors
-
Jovial Cheukam Ngouonou
-
Ramiz Gindullin
-
Claude-Guy Quimper
-
Nicolas Beldiceanu
-
Remi Douence
Abstract
We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.
