{"ID":2847744,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2511.00194","arxiv_id":"2511.00194","title":"Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures","abstract":"We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.","short_abstract":"We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.","url_abs":"https://arxiv.org/abs/2511.00194","url_pdf":"https://arxiv.org/pdf/2511.00194v1","authors":"[\"Jovial Cheukam Ngouonou\",\"Ramiz Gindullin\",\"Claude-Guy Quimper\",\"Nicolas Beldiceanu\",\"Remi Douence\"]","published":"2025-10-31T18:51:08Z","proceeding":"cs.AI","tasks":"[\"cs.AI\"]","methods":"[]","has_code":false}