Presents the PO-ASL mechanism that synthesizes profit-optimal social laws for strategic agents by compactly representing ATL valuations, reducing payments to allocation, and solving the resulting FP^NP-complete problem with integer linear programming.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.GT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Truthful Multiunit Profit-Optimal Mechanism for Synthesizing Social Laws
Presents the PO-ASL mechanism that synthesizes profit-optimal social laws for strategic agents by compactly representing ATL valuations, reducing payments to allocation, and solving the resulting FP^NP-complete problem with integer linear programming.