Automated generation of consistent models with structural and attribute constraints.

Oszkr Semerth, Aren A. Babikian, Anqi Li, Kristf Marussy, Dniel Varr

Browse the full MODELS paper archive.