2 search results - page 1 / 1 » The SAT2002 competition |
148
Voted
AMAI
2005
Springer
15 years 7 months ago
2005
Springer
SAT Competition 2002 held in March
189
click to vote
SC
2003
ACM
16 years 10 days 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...