works on
equilibrium analysis 1incentive design 1mechanism design 1payment rules 1price of anarchy 1submodular optimization 1

From the 1 of 24 linked papers with an AI index.

activity
20242026
most citedRevenue Variance Minimization: Beyond First Price Auctions

1 citations · 1 across the 11 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2025

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)

Renato Leme, Marcelo Coniglio, Bruno Lopes

Kurt Gödel proved that it is not possible to characterize Intuitionistic Propositional Logic (IPL) by means of finite and deterministic truth-tables. After extending the same resu…