Proving the incompatibility of efficiency and strategyproofness via SMT solving. (English) Zbl 1425.68385
MSC:
68T20 | Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) |
68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |