GitHub - shaowei-cai-group/relaxed-sat: Solvers used in "Deep cooperation of CDCL and local search for SAT" (SAT best paper) and "Better decision heuristics in CDCL through local search and target phases" (JAIR)

shaowei-cai-group / relaxed-sat Public

Notifications You must be signed in to change notification settings
Fork 0
Star 5

Solvers used in "Deep cooperation of CDCL and local search for SAT" (SAT best paper) and "Better decision heuristics in CDCL through local search and target phases" (JAIR)

5 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
codes		codes
Extended Table for vs_LS.txt		Extended Table for vs_LS.txt
fcc_res.csv		fcc_res.csv
sc_res.csv		sc_res.csv
sc_res_collect.txt		sc_res_collect.txt

About

Solvers used in "Deep cooperation of CDCL and local search for SAT" (SAT best paper) and "Better decision heuristics in CDCL through local search and target phases" (JAIR)

sat

Activity

Custom properties

5 stars

1 watching

0 forks

Report repository