Login / Signup
Jingjun Han
ORCID
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 2
Top Topics
Solving Global Optimization Problems
Valid Inequalities
Computer Aided Design
Positive Semi Definite
Top Venues
CoRR
J. Symb. Comput.
ISSAC
ASCM
</>
Publications
</>