PC
2006
13 years 11 months ago
2006
In this paper, we present GridSAT
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...