Web  |  Images  |  Video  |  Mp3  |  News  |  Jobs  |  Directory
 

Conferences (10)
People (119)
Publications (3)

 

31 sites in Complexity Theory

Best Prices On Computers Save
Find Computers & Networking Gear. Buy Best Prices On Computers Fast.
uk.Calibex.com/computers (sponsored link)
 
Best Prices On Computers Save
Computers, Networking & More. Best Prices On Computers on Sale.
www.NexTag.co.uk/computers (sponsored link)
 
Computer Desks Save
Computer desk and Workstations.
www.desk-computer.co.uk (sponsored link)
 
Computers Find the Factory Stores Save
Computers Find Car Insurance at the Factory Stores 24 7 online shop.
www.TheFactoryProgramme.org.uk (sponsored link)
 
$1 million for solving P vs NP Save
One of the Prize Problems named by the Clay Mathematics Institute of Cambridge, Massachusetts (CMI).
http://www.claymath.org/millennium/P_...   
Theory Save
An overview of computational models and methods and how they relate to complexity, with links to selected papers.
http://domino.research.ibm.com/comm/r...   
A Compendium of NP Optimization Problems Save
This is a preliminary version of the catalog of NP optimization problems.
http://www.nada.kth.se/~viggo/problem...   
Algorithms and Complexity Research Area Save
The Oxford University Computing Laboratory's area on algorithms and complexity, with links to lectures and information.
http://web.comlab.ox.ac.uk/oucl/resea...   
Automata, Computability, and Complexity, Spring 2005 Save
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.
http://ocw.mit.edu/OcwWeb/Electrical-...   
Challenging Benchmarks for SAT and CSP Save
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/be...   
Complexity Theory Save
Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.
http://www.wisdom.weizmann.ac.il/~ode...   
Complexity Zoo Save
Description of the 462 complexity classes and relations between them hosted at Caltech as a part of Qwiki project.
http://qwiki.caltech.edu/wiki/Complex...   
Complexity of Algorithms Save
A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format.
http://artemis.cs.yale.edu/classes/cs...   
Computational Complexity Theory Save
Course COMS 30126: Computational Complexity Theory, Department of Computer Science, University of Bristol
http://www.cs.bris.ac.uk/Teaching/Res...   
Computational Complexity and Programming Languages Save
Summaries of talks of the DIMACS workshop (July 1996), collected by James Royer.
http://www.cis.syr.edu/people/royer/t...   
Constraint Satisfaction Problems Save
Research group in the Computing Laboratory, Oxford University.
http://web.comlab.ox.ac.uk/oucl/resea...   
ECCC - Electronic Colloquium on Computational Complexity Save
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://eccc.hpi-web.de/   
Efficient algorithms and intractable problems Save
Course taught by Christos Papadimitriou and Umesh Vazirani at the University of California at Berkeley.
http://www-inst.eecs.berkeley.edu/~cs...   
Lecture notes on Complexity Save
Collection of lecture notes by Prof. Eric Allender, Rutgers University.
http://www.cs.rutgers.edu/~allender/l...   
Parameterized Complexity Save
Brief description, list of workers and problem compendium, compiled by Todd Wareham.
http://www.cs.mun.ca/~harold/W_hier/W...   
Probabilistically Checkable Proofs and Approximation Save
Pointers to some survey articles and their authors, by M. Bellare.
http://www-cse.ucsd.edu/users/mihir/p...   
SAT Live! Save
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/   
SATLIB - The Satisfiability Library Save
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.
http://www.satlib.org/   
Stas Busygin's NP-Completeness Page Save
A proposal for solving NP-hard problems.
http://www.busygin.dp.ua/npc.html   
Theoretical Computer Science links Save
A collection of bookmarks to algorithms and complexity resources maintained by Heribert Vollmer at the Theoretical Computer Science Institute, University of Hannover.
http://www.thi.uni-hannover.de/forsch...   
Theory of Computation, Fall 2006 Save
Course 6.045J/18.400J at MIT OpenCourseWare, emphasizing computability and computational complexity theory.
http://ocw.mit.edu/OcwWeb/Mathematics...   
 
Category's Editors
jarekadam

Help build the largest human-edited directory of the web
Suggest a site | Open Directory Project | Become an editor

Copyright ©1995-2008