Strictness Analysis as Finite-Domain Constraint Solving.

Tihomir Gabric Kevin Glynn Harald Søndergaard

Published in: LOPSTR (1998)

Keyphrases

constraint solving
finite domain
constraint logic programming
constraint propagation
constraint programming
constraint satisfaction problems
constraint satisfaction
constraint solver
search space
complex systems