Login / Signup
Takayuki Sakai
Publication Activity (10 Years)
Years Active: 1998-2022
Publications (10 Years): 5
Top Topics
Max Sat
Lower Bound
Maximum Satisfiability
Exact Algorithms
Top Venues
Electron. Colloquium Comput. Complex.
J. Comput. Syst. Sci.
SAT
IPEC
</>
Publications
</>