On the linear ranking problem for integer linear-constraint loops.

Amir M. Ben-Amram Samir Genaim

Published in: POPL (2013)

Keyphrases

linear constraints
constraint databases
integer points
ranking algorithm
nonlinear programming
quadratic program
ranking functions
linearly constrained
web search
learning to rank
convex sets
feature space
shape analysis
quadratic programming
mathematical program