| Home Web Directory Metasearch Message Boards Classified Ads
|
Top: Computers: Computer_Science: Theoretical: Complexity_Theory:
Complexity Theory (154)
Categories:
Sites:
 |
|
» Algorithms and Complexity 
An overview of computational models and methods and how they relate to complexity, with links to selected papers.
http://www.almaden.ibm.com/cs/k53/algo.html
|
 |
|
» Algorithms and Complexity Research Area 
The Oxford University Computing Laboratory's area on algorithms and complexity, with links to lectures and information.
http://web.comlab.ox.ac.uk/oucl/research/areas/algs/
|
 |
|
» 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.
http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/benchmarks.htm
|
 |
|
» Complexity Theory 
Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.
http://www.wisdom.weizmann.ac.il/~oded/cc.html
|
 |
|
» 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
|
 |
|
» Constraint Satisfaction Problems 
Research group in the Computing Laboratory, Oxford University.
http://web.comlab.ox.ac.uk/oucl/research/areas/constraints/index.html
|
 |
|
» 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.
http://www.eccc.uni-trier.de/eccc/
|
 |
|
» Lecture notes on Complexity 
Collection of lecture notes by Prof. Eric Allender, Rutgers University.
http://athos.rutgers.edu/~allender/lecture.notes/
|
 |
|
» P vs NP 
Official version of the million dollar open problem in Theoretical Computer Science by the Clay Mathematical Institute.
http://www.claymath.org/millennium/P_vs_NP/
|
 |
|
» 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
|
 |
|
» 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/
|
This category needs an editor
Last Updated: 2006-10-06 08:24:59
The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com
|