- People(3)
- SAT Live!
- www.satlive.org
- A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.
3.4
(si*)
<5
<5
6
- Electronic Colloquium on Computational Complexity
- eccc.hpi-web.de
- A forum about computational complexity supervised by a scientific board. Provides on-line research reports, surveys and books.
3.8
(si*)
>10
>10
6
- Information-based Complexity
- www.ibc-research.org
- People, publications, prizes.
3.3
(si*)
<5
-
5
- SATLIB - The Satisfiability Library
- www.satlib.org
- A collection of benchmark problems, solvers, and tools. Provides a uniform test-bed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance.
3.3
(si*)
<5
-
5
The rating value is calculated according to the algorithm, which considers all rating indicators.
As soon as number of users ratings reaches defined level, the rating is to be substituted by the users one.