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

Created by

Jovial Cheukam Ngouonou, Ramiz Gindullin, Claude-Guy Quimper, Nicolas Beldiceanu, Remi Douence

본 논문은 [1]에 제시된 선택 알고리즘을 개선한 증분적 선택 알고리즘을 제시하고, 선택된 모든 추측을 증명한다.

•

개선된 증분적 선택 알고리즘 제안.

•

선택된 모든 추측 증명.

•

[1]에 제시된 알고리즘을 기반으로 함 (선행 연구에 대한 의존성).

•

구체적인 알고리즘 개선 내용 및 증명 과정에 대한 상세 정보 부족.