Sciweavers

ICAL
2011
301views more  ICAL 2011»
12 years 10 months ago
On the LVI-based numerical method (E47 algorithm) for solving quadratic programming problems
— In this paper, a numerical method (termed, E47 algorithm) based on linear variational inequalities (LVI) is presented and investigated to solve quadratic programming (QP) probl...
Yunong Zhang, Senbo Fu, Zhijun Zhang, Lin Xiao, Xu...
ENTCS
2008
93views more  ENTCS 2008»
13 years 11 months ago
Rewriting Interpolants
Abstract. We give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting tech...
Christopher Lynch, Yuefeng Tang