Checking Unsatisfiability for OCL Constraints.

Manuel Clavel Marina Egea Miguel Angel García de Dios

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)

Keyphrases

constraint language
consistency checking
constraint checking
constraint programming
search algorithm
geometric constraints
global constraints