642 followers
#arXiv #cs_LO "Computer-aided verification in mechanism design. (arXiv:1502.04052v5 [cs.GT] UPDATED)" https://t.co/qTwPpSffgF
#arXiv #cs_LO "Computer-aided verification in mechanism design. (arXiv:1502.04052v5 [cs.GT] UPDATED)" https://t.co/qTwPpSffgF
#arXiv #cs_LO "Computer-aided verification in mechanism design. (arXiv:1502.04052v4 [cs.GT] UPDATED)" https://t.co/qTwPpSffgF
#arXiv #cs_LO "Computer-aided verification in mechanism design. (arXiv:1502.04052v3 [cs.GT] UPDATED)" https://t.co/qTwPpSffgF
Computer-aided verification in mechanism design. ~ G. Barthe et als. http://t.co/vpxkNsixDx #HOARe