Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A resolution calculus for MinSAT | 0 | 0.34 | 2021 |
| Clause vivification by unit propagation in CDCL SAT solvers | 0 | 0.34 | 2020 |
| A branching heuristic for SAT solvers based on complete implication graphs | 0 | 0.34 | 2019 |
| An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers. | 4 | 0.39 | 2017 |