%0 Conference Paper %1 conf/hcomp/AmirSGI13 %A Amir, Ofra %A Shahar, Yuval %A Gal, Ya'akov %A Ilani, Litan %B HCOMP %D 2013 %E Hartman, Björn %E Horvitz, Eric %I AAAI %K dblp %P 2-8 %T On the Verification Complexity of Group Decision-Making Tasks. %U http://dblp.uni-trier.de/db/conf/hcomp/hcomp2013.html#AmirSGI13 %@ 978-1-57735-607-3

@inproceedings{conf/hcomp/AmirSGI13, added-at = {2023-09-05T00:00:00.000+0200}, author = {Amir, Ofra and Shahar, Yuval and Gal, Ya'akov and Ilani, Litan}, biburl = {https://www.bibsonomy.org/bibtex/2c48af5b70b3b6e2cba75168cde97a1f7/dblp}, booktitle = {HCOMP}, crossref = {conf/hcomp/2013}, editor = {Hartman, Björn and Horvitz, Eric}, ee = {https://doi.org/10.1609/hcomp.v1i1.13072}, interhash = {a1e98d565de54bcc866210aa4888c54f}, intrahash = {c48af5b70b3b6e2cba75168cde97a1f7}, isbn = {978-1-57735-607-3}, keywords = {dblp}, pages = {2-8}, publisher = {AAAI}, timestamp = {2024-04-09T12:29:41.000+0200}, title = {On the Verification Complexity of Group Decision-Making Tasks.}, url = {http://dblp.uni-trier.de/db/conf/hcomp/hcomp2013.html#AmirSGI13}, year = 2013 }