Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
dezhangxd.github.io
AcadHomepage: A Modern and Responsive Academic Personal Homepage
FastCDS_MCDS
supplements for FastCDS
CNC-LS
EasySAT
A Simple CDCL Solver
kissat_inc
A sequential SAT solver that won the 2nd place of SAT Competition 2022 (solved the same number of instances with the winner)
ParKissat-RS
Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
PRS
A SAT Parallel framework based on Random Shuffle
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)
Relaxed_LCMDCBDL_newTech
This solver win the Main-Track-SAT of SAT competition 2020
dezhangxd's Repositories
dezhangxd/dezhangxd.github.io
AcadHomepage: A Modern and Responsive Academic Personal Homepage
dezhangxd/FastCDS_MCDS
supplements for FastCDS