 |  |  |
| | 20 most visited links | |
| | [Conference article] SAT2002 accepted papers online! (11016) | |
| | [Software] siege_v4 (8260) | |
| | [Software] Chaff SAT solver (7039) | |
| | [Report] Efficient Data Structures for Fast SAT Solvers (6517) | |
| | [Other] A polynomial time SAT algorithm (5967) | |
| | [Workshop article] SAT2001 proceedings online! (5755) | |
| | [Report] Algorithms for SAT and Upper Bounds on Their Complexity. E. Dantsin, E. A. Hirsch, S. Ivanov, M. Vsemirnov, ECCC Report TR01-012. (5191) | |
| | [Conference article] Finding Bugs with a Constraint Solver (5113) | |
| | [Conference article] E. Goldberg, and Y. Novikov, BerkMin: A Fast and Robust Sat-Solver, Design, Automation, and Test in Europe (DATE'02), March 2002, pp. 142-149. (4962) | |
| | [Software] zChaff source code available!!! (4833) | |
| | [Event] The SAT competition 2003 (3228) | |
| | [Event] First QBF solver evaluation (2891) | |
| | [Report] The SAT2002 competition (preliminary draft). Laurent Simon, Daniel Le Berre and Edward A. Hirsch (2762) | |
| | [Software] Java package for conversion into SAT problem. (2575) | |
| | [Report] Many Hard Examples in Exact Phase Transitions (2543) | |
| | [Report] SAT2003 competition first stage results available in details!!!! (2510) | |
| | [Report] Efficient Algorithms for Clause Learning SAT Solvers, Lawrence Ryan, Master Thesis, SFU, Feb 2004. (2502) | |
| | [Book] Boolean Functions - Theory, Algorithms, and Applications (2497) | |
| | [Invited Talk] A Quest for Efficient SAT Solvers (2004 version): Distinguished Lecture Series at CMU SCS, Sharad Malik (2492) | |
| | [Other] SAT'04 Contest (Full) Results (2472) | |
 |  |  |
