GB_Source_CP19.zip (448.82 kB)

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

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM