Login / Signup
ShengYu Shen
Publication Activity (10 Years)
Years Active: 2004-2015
Publications (10 Years): 0
Top Topics
Boolean Satisfiability
Texture Synthesis
Sat Solving
Top Venues
APWeb Workshophs
MEMOCODE
ACM Trans. Design Autom. Electr. Syst.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>