Three Theory Lab Student Abstracts accepted to AAAI-20
David E. Narváez’s paper “A QSAT Benchmark Based on Vertex-Folkman Problems,” Andrew Searns’s paper "Fairness Does Not Imply Satisfaction," and Wenbo Sun’s paper "Sampling Random Chordal Graphs by MCMC” were recently accepted to the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20) Student Abstract and Poster Program.
Publications in Proceedings of Selective Conferences:
- Finding Optimal Solutions With Neighborly Help, E. Burjons, F. Frei, E. Hemaspaandra, D. Komm, and D. Wehner, Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), pp. 78:1–78:14, August 2019.
- The Complexity of Online Bribery in Sequential Elections, E. Hemaspaandra, L. Hemaspaandra, and J. Rothe, Proceedings of the 17th Conference on Theoretical Aspects of Rationality and Knowledge, Electronic Proceedings in Theoretical Computer Science #297, pp. 233–251, July 2019.
- Very Hard Electoral Control Problems, Z. Fitzsimmons, E. Hemaspaandra, A. Hoover, and D. Narv ́aez, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019), pp 1933-1940, January/February 2019.
Refereed Journal Publications:
- Search versus Decision for Election Manipulation Problems, E. Hemaspaandra, L. Hemaspaandra, and C. Menton, ACM Transactions on Computation Theory, accepted.
- High-Multiplicity Election Problems, Z. Fitzsimmons and E. Hemaspaandra, Journal of Autonomous Agents and Multi-Agent Systems, Vol. 33, #4, pp. 383-402, 2019.
- Credimus, E. Hemaspaandra, and L. Hemaspaandra, in The Future of Economic Design, ed. J.F. Laslier, H. Moulin, R. Sanver, and W. Zwicker, Springer, in press.