HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Clémentin Tayou Djamegni

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

Keyphrases

CDCL, Extension Rule, SAT.

Copyright © 2012-2025 easychair.org. All rights reserved.