Ground setting properties for an efficient translation of OCL in SMT-based model finding.

Nils Przigoda, Robert Wille, Rolf Drechsler

Browse the full MODELS paper archive.