Angelic processes for CSP via the UTP.

Pedro Ribeiro Ana Cavalcanti

Published in: Theor. Comput. Sci. (2019)

Keyphrases

constraint satisfaction problems
process model
constraint programming
constraint propagation
information retrieval
computer vision
lower bound
search space
evolutionary algorithm
branch and bound
arc consistency
partial constraint satisfaction