Conferences
(10)
People
(119)
|
Publications
(3)
Complexity of Algorithms
A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format.
IBM Research: Algorithms & Theory
An overview of computational models and methods and how they relate to complexity, with links to selected papers.
ECCC - Electronic Colloquium on Computational Complexity
A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research reports, surveys and books; meetings, discussions and web resources.
Computational Complexity Theory
Wikipedia article.
Automata, Computability, and Complexity, Spring 2005
Course 6.045J / 18.400J at MIT OpenCourseWare with introduction to basic mathematical models of computation, Turing machines, Church's Thesis, time complexity and NP-completeness.
Theory of Computation, Fall 2006
Course 6.045J/18.400J at MIT OpenCourseWare, emphasizing computability and computational complexity theory.
Complexity Zoo
Description of the 462 complexity classes and relations between them hosted at Caltech as a part of Qwiki project.
Algorithms and Complexity Research Area
The Oxford University Computing Laboratory's area on algorithms and complexity, with links to lectures and information.
Constraint Satisfaction Problems
Research group in the Computing Laboratory, Oxford University.
Probabilistically Checkable Proofs and Approximation
Pointers to some survey articles and their authors, by M. Bellare.
Efficient algorithms and intractable problems
Course taught by Christos Papadimitriou and Umesh Vazirani at the University of California at Berkeley.
Computational Complexity and Programming Languages
Summaries of talks of the DIMACS workshop (July 1996), collected by James Royer.
$1 million for solving P vs NP
One of the Prize Problems named by the Clay Mathematics Institute of Cambridge, Massachusetts (CMI).
Computational Complexity Theory
Course COMS 30126: Computational Complexity Theory, Department of Computer Science, University of Bristol
Parameterized Complexity
Brief description, list of workers and problem compendium, compiled by Todd Wareham.
Lecture notes on Complexity
Collection of lecture notes by Prof. Eric Allender, Rutgers University.
Computational Complexity Theory
Definition of the subject, links.
Computability and Complexity
An online course on complexity.
Information-based Complexity
People, publications, prizes.
A Compendium of NP Optimization Problems
This is a preliminary version of the catalog of NP optimization problems.
Challenging Benchmarks for SAT and CSP
Includes related links, references and a summary of the results for the SAT benchmarks used in SAT Competition 2004.
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.
SAT Live!
A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.
Theoretical Computer Science links
A collection of bookmarks to algorithms and complexity resources maintained by Heribert Vollmer at the Theoretical Computer Science Institute, University of Hannover.
Average-Case Complexity Forum
Introduction and survey papers.
Complexity Theory
Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.
| |
Internet Tools
Feature Sites
Directories
Sponsor