Login / Signup
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations.
Merav Aharoni
Ron Maharik
Abraham Ziv
Published in:
IEEE Symposium on Computer Arithmetic (2007)
Keyphrases
</>
relational databases
constrained problems
constraint satisfaction
linear programming problems
mixed integer program
information retrieval
lower and upper bounds
lagrange multipliers
constraint solving
data sets
information systems
constraint programming
constrained optimization
integer program
lp relaxation