Contains the keyword SMT-solvers
Automated Generation of Consistent Models with Structural and Attribute Constraints. In: Syriani E, Sahraoui H, editors. 23rd International Conference on Model Driven Engineering Languages and Systems. Canada: ACM / IEEE; 2020. Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552