An Integrated Theory Of Computer Science ×

Showing 1 of 1 paper in An Integrated Theory Of Computer Science

A Picat Method for Optimized Computation of Slater Voting Winners (Postprint)

AO Huan, Wang Yisong, Feng Renyan, Deng Zhouhui, Tong Tianle
2022-04-07 ChinaXiv: chinaxiv-202204.00065

Slater voting rule is a tournament-based voting rule that primarily constructs an acyclic tournament, finds one with minimal difference from the original tournament, and selects the winner from it. For the NP-hard Slater voting algorithm, a Picat method for optimized solving of the Slater problem ba…