Integrating an SMT-Based ModelFinder into USE.

Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler

Browse the full MODELS paper archive.