YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078

 Computers » Computer Science » Theoretical » Complexity Theory


Conferences (10) People (114) Publications (3)

 Web Pages    1 - 10   of   25

Wikipedia article.


[more pages from this URL] 

One of the Prize Problems named by the Clay Mathematics Institute of Cambridge, Massachusetts (CMI).


[more pages from this URL] 

 3 - SAT Live! Browse Website open in new window
A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well.


[more pages from this URL] 

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.


[more pages from this URL] 

 5 - Complexity Zoo Browse Website open in new window
Description of the 462 complexity classes and relations between them hosted at Caltech as a part of Qwiki project.


[more pages from this URL] 

People, publications, prizes.


[more pages from this URL] 

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.


[more pages from this URL] 

Course 6.045J/18.400J at MIT OpenCourseWare, emphasizing computability and computational complexity theory.


[more pages from this URL] 

This is a preliminary version of the catalog of NP optimization problems.


[more pages from this URL] 

Pointers to some survey articles and their authors, by M. Bellare.


[more pages from this URL] 

1  2  3  Next »»

Easy Web Admin

Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact