Hui Xu

Publication Activity (10 Years)

Years Active: 2002-2003
Publications (10 Years): 0

Publications

Hui Xu, Rob A. Rutenbar, Karem A. Sakallah
sub-SAT: a formulation for relaxed Boolean satisfiability with applications in routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22 (6) (2003)
Hui Xu, Rob A. Rutenbar, Karem A. Sakallah
sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing. ISPD (2002)