A SAT-Based Approach to Size Change Termination with Global Ranking Functions.

Amir M. Ben-Amram Michael Codish

Published in: TACAS (2008)

Keyphrases

ranking functions
learning to rank
web search engines
ranking algorithm
document retrieval
supervised learning
web search
beam search
satisfiability problem
data sets
feature selection
search algorithm
gaussian processes
query dependent