3
Publications
66
Citations
3
H-Index
1998
Active since
Affiliations
K. Seto is an author at Kyoto University specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsSatisfiabilityComputer ScienceProof ComplexityAutomated ReasoningFormal VerificationDiscrete MathematicsComputational ComplexityCombinatorial Optimization
Publications per year
1998–2013
3
3
Rows per page
1–3 of 3