Sponsored Links:
A Compendium of NP Optimization Problems (Popularity:  )
http://www.nada.kth.se/~viggo/problemlist/compendium.html
This is a preliminary version of the catalog of NP optimization problems.
|
ECCC - Electronic Colloquium on Computational Complexity (Popularity: )
http://www.eccc.uni-trier.de/eccc/
A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research reports, surveys and ...
|
SAT Live! (Popularity: )
http://www.satlive.org/
A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.
|
Computability and Complexity (Popularity: )
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
An online course on complexity.
|
Information-based Complexity (Popularity: )
http://www.ibc-research.org/
People, publications, prizes.
|
Constraint Satisfaction Problems (Popularity: )
http://web.comlab.ox.ac.uk/oucl/research/areas/constraints/index.html
Research group in the Computing Laboratory, Oxford University.
|
Parameterized Complexity (Popularity: )
http://www.cs.mun.ca/~harold/W_hier/W_hier.html
Brief description, list of workers and problem compendium, compiled by Todd Wareham.
|
Probabilistically Checkable Proofs and Approximation (Popularity: )
http://www-cse.ucsd.edu/users/mihir/pcp.html
Pointers to some survey articles and their authors, by M. Bellare.
|
Complexity of Algorithms (Popularity: )
http://artemis.cs.yale.edu/classes/cs460/Spring98/contents.html
A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format.
|
Algorithms and Complexity (Popularity: )
http://www.almaden.ibm.com/cs/k53/algo.html
An overview of computational models and methods and how they relate to complexity, with links to selected papers.
|
Computational Complexity Theory (Popularity: )
http://en.wikipedia.org/wiki/Computational_complexity_theory
Wikipedia article.
|
Computational Complexity and Programming Languages (Popularity: )
http://www.cis.syr.edu/people/royer/talks.html
Summaries of talks of the DIMACS workshop (July 1996), collected by James Royer.
|
Computational Complexity Theory (Popularity: )
http://www.cs.umass.edu/~immerman/complexity_theory.html
Definition of the subject, links.
|
P vs NP (Popularity: )
http://www.claymath.org/millennium/P_vs_NP/
Official version of the million dollar open problem in Theoretical Computer Science by the Clay Mathematical Institute.
|
Complexity Theory (Popularity: )
http://www.wisdom.weizmann.ac.il/~oded/cc.html
Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.
|
Lecture notes on Complexity (Popularity: )
http://athos.rutgers.edu/~allender/lecture.notes/
Collection of lecture notes by Prof. Eric Allender, Rutgers University.
|
Challenging Benchmarks for SAT and CSP (Popularity: )
http://www.nlsde.buaa.edu.cn/%7ekexu/benchmarks/benchmarks.htm
Includes related links, references and a summary of the results for the SAT benchmarks used in SAT Competition 2004.
|
International Workshop on Implicit Computation Complexity (Popularity: )
http://www.cis.syr.edu/~royer/icc/
Webpages of past and forthcoming ICC conferences and related meetings. Next meeting as a satellite workshop of LICS'03: Ottawa, Canada; ...
|
Conferences of Interest for Complexity People (Popularity: )
http://www.eccc.uni-trier.de/eccc/calendar/Conferences.html
Maintained at the Electronic Colloquium on Computational Complexity.
|
IEEE Conference on Computational Complexity (Popularity: )
http://computationalcomplexity.org/
Permanent web site for the series (started as "Structure in Complexity Theory" in 1986) with charter, committee membership, current announcements ...
|
