HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Rodrigue Konan Tchinda

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.