3 ms·
>bidders can submit different package bids which are all taken into account with the winner determined by a SAT solver Is anyone doing this for elections?
by tacon 6y ago
>bidders can submit different package bids which are all taken into account with the winner determined by a SAT solver
Is anyone doing this for elections?
- bluedevil2k 6y agoIt doesn't work that way - the SAT solver takes all the bids and maximizes revenue for the auctioneer. What variable would you try to maximize/minimize in an election?