expSAT_Code_and_instances_.zip (130.66 MB)

expSAT_Solvers_Instances

software

posted on 2019-11-18, 19:48 authored by Md Solimul ChowdhuryMd Solimul Chowdhury

This file contains (I) the code for expSAT CDCL SAT solvers, (II) 52 hard SATCoin instances.

A companion paper of these two items has been accepted for for AAAI-2020 with the following title: "Guiding CDCL SAT Search via Random Exploration amid Conflict Depression".

Funding

NSERC PGS

Natural Sciences and Engineering Research Council

Find out more...

NSERC Discover

Alberta Innovates Graduate Student Scholarship

History

Usage metrics

Keywords

CDCL SAT Solving Exploration expSAT Solvers Random Walks Conflict Depression Artificial Intelligence and Image Processing

Licence

MIT

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM