Search Strategies for Floating Point Constraint Systems.

Heytem Zitoun Claude Michel Michel Rueher Laurent Michel

Published in: CP (2017)

Keyphrases

search strategies
floating point
search strategy
constraint programming
heuristic search
fixed point
computing systems
neural network
image segmentation
digital libraries
branch and bound