Keyphrases
Stable Set
100%
Pillage Games
100%
Formal Methods
83%
Auction Theory
50%
Auction Design
50%
Theorem Prover
50%
Mathematical Reasoning
50%
Isabelle
33%
Mechanized Reasoning
33%
Characteristic Function
30%
Cooperative Game
20%
Partition Function Form
20%
Jordan
18%
Dominance Relation
18%
Computer Science
16%
Economic Methods
16%
Expected Outcomes
16%
Bidders
16%
Design Perspective
16%
Executable Code
16%
Large Auctions
16%
Mizar
16%
Auction Scheme
16%
Theorema
16%
Computer-aided
16%
Second-price Auction
16%
Experience-taking
16%
Computer-assisted Proof
16%
Exceptional Set
16%
Negative Prices
16%
Mutual Awareness
16%
Experience Feedback
16%
Matchmaking
16%
Financial Risk
16%
Vickrey Auction
16%
New Audiences
16%
Theory Study
16%
User Experience
16%
Game Theory
16%
Reasoner
16%
Well-behaved
10%
Von Neumann
10%
Tight Bounds
10%
Coalition Power
10%
Empty Core
10%
Pillage
8%
Anonymity
8%
Endowment
8%
Cooperative Game Theory
8%
Computer Science
Desired Property
66%
Executable Code
50%
Expected Result
50%
Auction Theory
50%
cooperative game theory
50%
Mathematical Reasoning
50%
Qualitative Comparison
50%
Theorem Prover
50%
Computer Science
50%
Partition Function
50%
Sufficient Condition
50%
Anonymity
50%
Formalization
41%
Conducting Research
25%
User Experience
25%
Characteristic Function
25%