Keyword:Extension Rule

Papers
Enhancing Reasoning with the Extension Rule in CDCL SAT Solvers Rodrigue Konan Tchinda and Clémentin Tayou Djamegni EasyChair Preprint no. 2121