Sign in
Adapting CLP to Floating-Point Arithmetic.
Jimmy Ho-Man Lee
Maarten H. van Emden
Published in:
FGCS (1992)
Keyphrases
</>
floating point arithmetic
floating point
constraint logic programming
constraint programming
instruction set
constraint solving
bayesian networks