This website http://www.lab2.kuis.kyoto-u.ac.jp/~tamak/ will not be updated anymore (April 1st, 2019)
Suguru Tamaki
Affiliation:
Logic Circuits, Algorithms and Complexity Theory,
Department of Communications and Computer Engineering,
School of Informatics,
Kyoto University
Address: Yoshida Honmachi, Sakyo-ku, Kyoto 606-8501, JAPAN
Office: Room 235, Research Bldg. No.7,
Main Campus
Phone: +81-75-753-5392 (Ex. 5392)
Fax: +81-75-753-5972
Email:
Research interests:
- Computational Complexity
- Proof Complexity
- Satisfiability Problem
- Hardness of Approximation