Directory: Top/Computers/Computer_Science/Theoretical/Complexity

Top / Computers / Computer_Science / Theoretical / Complexity_Theory / People /

Franco, John
Probabilistic analysis of algorithms, polynomial time solvable subclasses of satisfiability.
http://www.ece.uc.edu/~franco/
Uc.edu ~ Site Info Whois Trace Route RBL Check

Vardi, Moshe Y.
Recent paper on the hardness of random formulas for SAT solver; bounded tree-width.
http://www.cs.rice.edu/~vardi/
Rice.edu ~ Site Info Whois Trace Route RBL Check

Per Bjesse
SAT-based hardware verification (using Stalmarck's algorithm)
http://www.cs.chalmers.se/~bjesse/
Chalmers.se ~ Site Info Whois Trace Route RBL Check

Papadimitriou, Christos H.
Author of the very popular book on complexity theory. Home page with recent publications and links to courses.
http://www.cs.berkeley.edu/~christos/
Berkeley.edu ~ Site Info Whois Trace Route RBL Check

Liskiewicz, Maciej
University of Wroclaw.
http://www.ii.uni.wroc.pl/~liskiewi/
Uni.wroc.pl ~ Site Info Whois Trace Route RBL Check

Bläser, Markus
Saarland University, Department of Computer Science
http://www-cc.cs.uni-sb.de/mblaeser/
Uni-sb.de ~ Site Info Whois Trace Route RBL Check

Parberry, Ian
Department of Computer Science and Engineering, University of North Texas.
http://www.eng.unt.edu/ian/
Unt.edu ~ Site Info Whois Trace Route RBL Check

Van Melkebeek, Dieter
University of Wisconsin-Madison.
http://pages.cs.wisc.edu/~dieter/
Wisc.edu ~ Site Info Whois Trace Route RBL Check

Kosub, Sven
Technische Universität München.
http://www.inf.uni-konstanz.de/~kosub/
Uni-konstanz.de ~ Site Info Whois Trace Route RBL Check

Goldwasser, Shafi
Massachusetts Institute of Technology.
http://people.csail.mit.edu/shafi/
Mit.edu ~ Site Info Whois Trace Route RBL Check