Satlib.org - Sitios Similares - Sitios como satlib.org

Idioma / País:

Español
- English
- Deutsch
- Français
- Italiano
- Português
- Português
- Nederlands
- Norsk
- Español
- Türkçe
- Русский
- Polszczyzna
- Svenska
- 中文
- 日本語
- United Kingdom
- Canada
- Australia

- Top 5 Sites Like
  satlib.org
- eccc.hpi-web
- kolmogorov
- satlive
- nada.kth
- gabbay.org

SATLIB - The Satisfiability Library

Descripción: 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 ...

Lo más buscado: satlib

clasificación:

3.0 / 5.0, revisado por Sites Like Search

idioma: English

Temas de este sitio: computer

ECCC - Electronic Colloquium on Computational Complexity

Homepage of the Electronic Colloquium on Computational Complexity located at the Hasso Plattner Institute of Potsdam, Germany

eccc.hpi-web.de -

Sitios como Eccc.Hpi-web.De

clasificación:

3.0 / 5.0, idioma: English

Kolmogorov

The Legacy of Andrei Nikolaevich Kolmogorov, April 25, 1903 - October 20, 1987. Curriculum Vitae and Biography. Kolmogorov School. Ph.D. students and descendants ...

kolmogorov.com -

Sitios como Kolmogorov

clasificación:

3.0 / 5.0, idioma: English

SAT Live!

A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.

satlive.org -