Linear Ranking for Linear Lasso Programs.

Matthias Heizmann Jochen Hoenicke Jan Leike Andreas Podelski

Published in: ATVA (2013)

Keyphrases

ranking functions
ranking algorithm
web search engines
decision trees
sample size
closed form
database
transfer function