6456 search results - page 6 / 1292 » Constraint Solving on Terms |
275
Voted
ICAL
2011
13 years 11 months ago
2011
— 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...
ISSAC
2007
Springer
15 years 5 months ago
2007
Springer
81
Voted
ENTCS
2008
14 years 11 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
86
Voted
CONSTRAINTS
2002
14 years 11 months ago
2002
We describe an object-oriented constraint solving toolkit, QOCA, designed for interactive graphical applications. It has a simple yet powerful interface based on the metric space m...
92
Voted
ESA
2010
Springer
14 years 12 months ago
2010
Springer
We report on the solution of a real-time scheduling problem that arises in the design of software-based operation control of aircraft. A set of tasks has to be distributed on a min...