Exploiting Binary Floating-Point Representations for Constraint Propagation.
Roberto BagnaraMatthieu CarlierRoberta GoriArnaud GotliebPublished in: INFORMS J. Comput. (2016)
Keyphrases
- constraint propagation
- floating point
- interval arithmetic
- sparse matrices
- constraint satisfaction problems
- non binary
- constraint reasoning
- constraint programming
- fixed point
- constraint satisfaction
- constraint solving
- arc consistency
- temporal constraints
- quantifier elimination
- instruction set
- soft constraints
- constraint solver
- russian doll search
- constraint graph
- constrained problems
- linear programming
- search space
- image sequences