Glue Bumping based CDCL SAT solvers

software

posted on 2019-12-10, 20:54 authored by Md Solimul ChowdhuryMd Solimul Chowdhury

Source code for four CDCL SAT solvers based on Glue Bumping method. For more information, please read our paper at CP19 conference:

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. CP 2019: 126-143

History

Usage metrics

Keywords

CDCL SAT Glue Clauses Branching Heuristics Artificial Intelligence and Image Processing

Licence

MIT

Glue Bumping based CDCL SAT solvers

History

Usage metrics

Categories

Keywords

Licence

Exports