Average-Case Complexity Forum
Introduction and survey papers.
http://www.uncg.edu/mat/avg.html
Home / Programming / Algorithms / Complexity /
|
A Compendium of NP Optimization Problems
This is a preliminary version of the catalog of NP optimization problems.
http://www.nada.kth.se/~viggo/problemlist/compendium.html
Home / Programming / Algorithms / Complexity /
|
Electronic Colloquium on Computational Complexity
ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier.
http://www.eccc.uni-trier.de/eccc/
Home / Programming / Algorithms / Complexity /
|
Roberto Bayardo's Resources
Includes the relsat SAT solver and related papers.
http://www.almaden.ibm.com/cs/people/bayardo/resources.html
Home / Programming / Algorithms / Complexity /
|
SAT Live!
A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.
http://www.satlive.org/
Home / Programming / Algorithms / Complexity /
|
SATLIB - The Satisfiability Library
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.
http://www.intellektik.informatik.tu-darmstadt.de/SATLIB/
Home / Programming / Algorithms / Complexity /
|
Stas Busygin's NP-Completeness Page
A proposal for solving NP-hard problems.
http://www.busygin.dp.ua/npc.html
Home / Programming / Algorithms / Complexity /
|
Computability and Complexity
An online course on complexity.
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
Home / Programming / Algorithms / Complexity /
|
Computational Complexity
(Birkhäuser) Tables of contents from vol.7 (1998) on. Full text to subscribers via LINK.
http://link.springer-ny.com/link/service/journals/00037/
Home / Programming / Algorithms / Complexity /
|
Algorithms and Complexity
A collection of bookmarks by Heribert Vollmer.
http://www-info4.informatik.uni-wuerzburg.de/personen/ehemalig/vollmer/tcs-bookmarks.html
Home / Programming / Algorithms / Complexity /
|
