Sign in

Ranking Functions for Linear-Constraint Loops.

Amir M. Ben-AmramSamir Genaim
Published in: J. ACM (2014)
Keyphrases