Ji, Xiao-Hui

• Vol 14, No 3 (2013) - Articles
  Solving Nonlinear SMT Problems Based on an Efficient Lazy Method
  Abstract

Published by Executive Committee, Taiwan Academic Network, Ministry of Education, Taipei, Taiwan, R.O.C
JIT Editorial Office, Office of Library and Information Services, National Dong Hwa University
No. 1, Sec. 2, Da Hsueh Rd., Shoufeng, Hualien 974301, Taiwan, R.O.C.
Tel: +886-3-931-7314　　E-mail: jit.editorial@gmail.com