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
- Country:
- Europe > France
- Pays de la Loire > Loire-Atlantique > Nantes (0.04)
- North America
- Canada > Quebec (0.04)
- United States (0.04)
- Oceania > Australia
- Europe > France
- Genre:
- Research Report (0.40)
- Technology: