Kazuhisa Seto

Research Interests

Theoretical Computer Science （理論計算機科学）

• Exact Algorithm（厳密アルゴリズム）

• Satisfiability Problem（充足可能性問題）

• Circuit Complexity（回路計算量）

Affiliation

Large-Scale Knowledge Processing Lab.,

Research Group of Knowledge Software Science,

Division of Computer Science and Information Technology,

Faculty of Information Science and Technology,

Hokkaido University

北海道大学大学院情報科学研究院 

情報理工学部門 知識ソフトウェア科学分野 

大規模知識処理研究室

Postal Address

Kita 14, Nishi 9, Kita-ku, Sapporo, Hokkaido, 060-0814, Japan

〒060-0814 北海道札幌市北区北14条西9丁目