- People(3)
- 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
- 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
- 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
- Information-based Complexity
- www.ibc-research.org
- People, publications, prizes.
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.