Z Chen, P Manolios,
M Riedewald - arXiv preprint arXiv:2406.11797, 2024 - arxiv.org
Given a relation and a ranking of its tuples, but no information about the ranking function, we
propose RankExplain to solve 2 types of problems: SAT asks if any linear scoring function …