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

Download PDF
Open Webpage

Jovial Cheukam-Ngouonou, Ramiz Gindullin, Claude-Guy Quimper, Nicolas Beldiceanu, Rémi Douence

Published: 2025, Last Modified: 15 Dec 2025CoRR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.