---

Add URL

My Sites

My Account

Contact Us

Search only in Complexity Theory   Search the Web

 Home » Computer Science » Theoretical » Complexity Theory

Web Pages    11 - 20   {23}

Go to Complexity Theory Home

11 - Stas Busygin's NP-Completeness Page   A proposal for solving NP-hard problems. http://www.busygin.dp.ua/npc.html   [more pages from this URL]     12 - 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. http://www.intellektik.informatik.tu-darmstadt.de/SATLIB/   [more pages from this URL]     13 - Complexity Theory   Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute. http://www.wisdom.weizmann.ac.il/~oded/cc.html   [more pages from this URL]     14 - Computational Complexity Theory   Definition of the subject, links. http://www.cs.umass.edu/~immerman/complexity_theory.html   [more pages from this URL]     15 - Constraint Satisfaction Problems   Research group in the Computing Laboratory, Oxford University. http://web.comlab.ox.ac.uk/oucl/research/areas/constraints/index.html   [more pages from this URL]     16 - 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/   [more pages from this URL]     17 - 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   [more pages from this URL]     18 - Lecture notes on Complexity   Collection of lecture notes by Prof. Eric Allender, Rutgers University. http://athos.rutgers.edu/~allender/lecture.notes/   [more pages from this URL]     19 - Computability and Complexity   An online course on complexity. http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html   [more pages from this URL]     20 - Roberto Bayardo's Resources   Includes the relsat SAT solver and related papers. http://www.almaden.ibm.com/cs/people/bayardo/resources.html   [more pages from this URL]

«« Previous  1  2  3  Next »»

E-Mail Add URL