Careful Ranking of Multiple Solvers with Timeouts and Ties.

Allen Van Gelder

Published in: SAT (2011)

Keyphrases

web search
database
real time
databases
multiscale
combining multiple
rank aggregation