Property Preserving Refinement for Csp-Casl.

Temesghen Kahsai Markus Roggenbach

Published in: WADT (2008)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint programming
artificial intelligence
multiscale
website
disjunctive constraints