# AlloyMax: bringing maximum satisfaction to relational specifications

> Research article (Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021) · cited 10× · AI/ML

**Wikidata**: [openalex:W3193459240](https://www.wikidata.org/wiki/openalex:W3193459240)  
**Source**: https://4ort.xyz/entity/alloymax-bringing-maximum-satisfaction-to-relational-specifications