Keyword: single-item

Definition Bayesian Single-Item Auction Framework formalized

Definition Online Single-Item (Posted-Price) Auction formalized

Theorem Regular Myerson Optimal Single-Item Auction proved

Definition Virtual-Surplus-Maximizing Allocation formalized