Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

report abuse/spam

help
the entire directory
only in Theoretical/Complexity_Theory
Description
Top
:
Computers
:
Computer Science
:
Theoretical
:
Complexity Theory
(127)
Conferences
(9)
People
(96)
Publications
(3)
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.
A Compendium of NP Optimization Problems
 This is a preliminary version of the catalog of NP optimization problems.
Complexity of Algorithms
 A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format.
Complexity Theory
 Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.
Computability and Complexity
 An online course on complexity.
Computational Complexity and Programming Languages
 Summaries of talks of the DIMACS workshop (July 1996), collected by James Royer.
Computational Complexity Theory
 Wikipedia article.
Computational Complexity Theory
 Definition of the subject, links.
Computational Complexity Theory
 Course COMS 30126: Computational Complexity Theory, Department of Computer Science, University of Bristol
Constraint Satisfaction Problems
 Research group in the Computing Laboratory, Oxford University.
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.
Efficient algorithms and intractable problems
 Course taught by Christos Papadimitriou and Umesh Vazirani at the University of California at Berkeley.
IBM Research: Algorithms & Theory
 An overview of computational models and methods and how they relate to complexity, with links to selected papers.
Informationbased Complexity
 People, publications, prizes.
Lecture notes on Complexity
 Collection of lecture notes by Prof. Eric Allender, Rutgers University.
Parameterized Complexity
 Brief description, list of workers and problem compendium, compiled by Todd Wareham.
Probabilistically Checkable Proofs and Approximation
 Pointers to some survey articles and their authors, by M. Bellare.
SAT Live!
 A collection of uptodate links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.
SATLIB  The Satisfiability Library
 A collection of benchmark problems, solvers, and tools. Provides a uniform testbed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance.
"
Complexity Theory
" search on:
AOL

Ask

Bing

Blekko

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: December 20, 2013 at 13:45:08 UTC 
edit