Floating-point numbers round-off error analysis by constraint programming.
Rémy GarciaPublished in: Constraints An Int. J. (2023)
Keyphrases
- constraint programming
- error analysis
- floating point
- constraint satisfaction problems
- combinatorial problems
- fixed point
- least squares
- constraint satisfaction
- constraint propagation
- global constraints
- integer programming
- search strategies
- symmetry breaking
- column generation
- instruction set
- sparse matrices
- arc consistency
- error correction
- finite domain
- floating point arithmetic
- search heuristics
- constraint logic programming
- constraint solving
- pairwise
- sufficient conditions
- markov random field
- data structure