Rejection-proof Kidney Exchange Mechanisms.

Danny Blom Bart Smeulders Frits C. R. Spieksma

Published in: CoRR (2022)

Keyphrases

information exchange
theorem prover
mechanism design
data structure
building blocks
databases
information retrieval
artificial intelligence
website
theorem proving
proof theory