YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname. Price: USD 499.999,- Phone: +49(176)74919078
Computers
»
Computer Science
»
Theoretical
»
Complexity Theory
»
Conferences
» Past
Web Pages 1 - 8 of 8
1 -
SAT 2004
The Seventh International Conference on Theory and Applications of Satisfiability Testing. Vancouver, BC, Canada; 10--13 May 2004.
http://www.satisfiability.org/SAT04/
[more pages from this URL]
2 -
CCC 2003
18th IEEE Conference on Computational Complexity. BRICS, University of Aarhus, Denmark; 7--10 July 2003.
http://www.brics.dk/Complexity2003/
[more pages from this URL]
3 -
CCC 2004
19th IEEE Conference on Computational Complexity. Amherst, MA, USA; 21--24 June 2004.
http://www.cs.umass.edu/~barring/ccc2004/
[more pages from this URL]
4 -
Computational Intractability
DIMACS special year. Rutgers, NJ, USA; 1999-2001.
http://dimacs.rutgers.edu/SpecialYears/1999_2000/
[more pages from this URL]
5 -
Faster Exact Solutions for NP-Hard Problems
DIMACS Workshop, Princeton, NJ, USA; 23-24 February 2000.
http://dimacs.rutgers.edu/Workshops/Faster/
[more pages from this URL]
6 -
http://www.ece.uc.edu/~franco/Sat-workshop/sat-workshop.html
Workshop On The Satisfiability Problem. Siena, Italy; 29 April -- 3 May 1996.
http://www.ece.uc.edu/~franco/Sat-workshop/sat-workshop.html
[more pages from this URL]
7 -
Centennial Seminar on Kolmogorov Complexity and Applications
Schloss Dagstuhl, Wadern, Germany; 27 April -- 2 May 2003.
http://www.dagstuhl.de/programm/kalender/semhp/?semnr=03181
[more pages from this URL]
8 -
Proof, Computation, Complexity
Wilhelm-Schickard-Institut, University of Tübingen, Germany; 8--9 April 2002.
http://www-ls.informatik.uni-tuebingen.de/logik/kahle/pcc.html
[more pages from this URL]
Add URL
|
My Listings
|
My Account
|
New Membership
|
Contact