Login / Signup
Hiroaki Kozawa
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
Hiroaki Kozawa
,
Kiyoharu Hamaguchi
,
Toshinobu Kashiwabara
Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(12) (2007)