Login / Signup
Yin-Run Lv
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Database Management Systems
Lower Bound
Optimization Problems
Sat Encodings
Top Venues
J. Comput. Sci. Technol.
</>
Publications
</>
Li Chen
,
JingZheng Wu
,
Yin-Run Lv
,
Yong-Ji Wang
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints.
J. Comput. Sci. Technol.
31 (5) (2016)