Directory: Top/Computers/Computer_Science/Theoretical/Complexity

Top / Computers / Computer_Science / Theoretical / Complexity_Theory /

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
Kth.se ~ Site Info Whois Trace Route RBL Check

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/
Satlive.org ~ Site Info Whois Trace Route RBL Check

Computability and Complexity
An online course on complexity.
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
Liv.ac.uk ~ Site Info Whois Trace Route RBL Check

Information-based Complexity
People, publications, prizes.
http://www.ibc-research.org/
Ibc-research.org ~ Site Info Whois Trace Route RBL Check

Parameterized Complexity
Brief description, list of workers and problem compendium, compiled by Todd Wareham.
http://www.cs.mun.ca/~harold/W_hier/W_hier.html
Mun.ca ~ Site Info Whois Trace Route RBL Check

Probabilistically Checkable Proofs and Approximation
Pointers to some survey articles and their authors, by M. Bellare.
http://www-cse.ucsd.edu/users/mihir/pcp.html
Ucsd.edu ~ Site Info Whois Trace Route RBL Check

Complexity of Algorithms
A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format.
http://artemis.cs.yale.edu/classes/cs460/Spring98/contents.html
Yale.edu ~ Site Info Whois Trace Route RBL Check

Computational Complexity Theory
Wikipedia article.
http://en.wikipedia.org/wiki/Computational_complexity_theory
Wikipedia.org ~ Site Info Whois Trace Route RBL Check

Computational Complexity and Programming Languages
Summaries of talks of the DIMACS workshop (July 1996), collected by James Royer.
http://www.cis.syr.edu/people/royer/talks.html
Syr.edu ~ Site Info Whois Trace Route RBL Check

Computational Complexity Theory
Definition of the subject, links.
http://www.cs.umass.edu/~immerman/complexity_theory.html
Umass.edu ~ Site Info Whois Trace Route RBL Check