# Synthesis of ranking functions using extremal counterexamples

> Research article (ACM SIGPLAN Notices, 2015) · cited 11× · AI/ML

**Wikidata**: [openalex:W3022487056](https://www.wikidata.org/wiki/openalex:W3022487056)  
**Source**: https://4ort.xyz/entity/synthesis-of-ranking-functions-using-extremal-counterexamples