Verification of Top-K Algorithm for a Family of Non-monotonic Ranking Functions.

Nicols Madrid, Pavel Rusnok

Browse the full SMC paper archive.