DOCSAT, a WalkSAT variant that penalizes oversatisfied clauses, solves critically hard random 3-SAT instances far more often than WalkSAT, YalSAT, or Kissat in the authors' benchmarks.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints
DOCSAT, a WalkSAT variant that penalizes oversatisfied clauses, solves critically hard random 3-SAT instances far more often than WalkSAT, YalSAT, or Kissat in the authors' benchmarks.