Takayuki Sakai

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 8

Top Topics

Maximum Satisfiability

Exact Algorithms

Top Venues

Electron. Colloquium Comput. Complex.

J. Comput. Syst. Sci.

Publications

Takayuki Sakai, Kensuke Inai, Kenji Kutsuna, Bishnu Kumar Adhikary, Norbert Buzás
Technology transfer performance: a comparative analysis of two universities in Japan. Int. J. Technol. Manag. 90 (1/2) (2022)
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
Bounded depth circuits with weighted symmetric gates: Satisfiability, lower bounds and compression. J. Comput. Syst. Sci. 105 (2019)
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
Improved exact algorithms for mildly sparse instances of Max SAT. Theor. Comput. Sci. 697 (2017)
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression. Electron. Colloquium Comput. Complex. 23 (2016)
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression. MFCS (2016)
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
A Satisfiability Algorithm for Depth-2 Circuits with a Symmetric Gate at the Top and AND Gates at the Bottom. Electron. Colloquium Comput. Complex. 22 (2015)
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction. Theory Comput. Syst. 57 (2) (2015)
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
Improved Exact Algorithms for Mildly Sparse Instances of Max SAT. IPEC (2015)
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction. SAT (2014)
Minh Anh Thi Ho, Yoji Yamada, Takayuki Sakai, Tetsuya Morizono, Yoji Umetani
An Adaptive Vision-based Interactional Intention Inference System in Human / Robot Coexistence. MVA (2000)
Yoji Yamada, Yoji Umetani, Haruyoshi Daitoh, Takayuki Sakai
Construction of a human/robot coexistence system based on a model of human will-intention and desire. ICRA (1999)
Yoji Yamada, Haruyoshi Daitoh, Yasuhiro Hirasawa, Takayuki Sakai, Yoji Umetani
Human-will-oriented techniques constructed for cooperative motions between a human and a power assisting robot. Adv. Robotics 13 (3) (1998)