Login / Signup
Tetsuro Yamashita
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Small Size
State Variables
Logic Programs
Variable Selection
Top Venues
SCSS
</>
Publications
</>
Tetsuro Yamashita
,
Xavier Dahan
Bit-size reduction of triangular sets in two and three variables.
SCSS
(2016)