On the Verification Complexity of Group Decision-Making Tasks.

Ofra Amir, Yuval Shahar, Ya'akov Gal, Litan Ilani

Browse the full HCOMP paper archive.