On Model Finding with Constraint Patterns.

Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung

Browse the full SoMeT paper archive.