2 search results - page 1 / 1 » The SAT2002 competition |
101
Voted
AMAI
2005
Springer
15 years 2 months ago
2005
Springer
SAT Competition 2002 held in March
120
Voted
SC
2003
ACM
15 years 8 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...