Login / Signup
Huan Chen
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Constraint Solver
Sat Solvers
Bi Decomposition
Answer Sets
Top Venues
DATE
J. Satisf. Boolean Model. Comput.
ACM Great Lakes Symposium on VLSI
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>