Publication Exact Combinatorial Branch-and-Bound for Graph Bisection Daniel Delling, Andrew Goldberg, Ilya Razenshteyn, Renato Werneck Proceedings of the 14th Meeting on Algorithm Engineering and Experiments (ALENEX’12) | January 2012 Proceedings of the 14th Meeting on Algorithm Engineering and Experiments (ALENEX'12)
Publication Congestion Games with Agent Failures Reshef Meir, Moshe Tennenholtz, Yoram Bachrach, Peter Key AAAI 2012 | January 2012
Publication Hierarchical Hub Labelings for Shortest Paths Ittai Abraham, Daniel Delling, Andrew Goldberg, Renato Werneck Proceedings of the 20th Annual European Symposium on Algorithms (ESA’12) | January 2012 Proceedings of the 20th Annual European Symposium on Algorithms (ESA'12) to appear
Publication Effect Of Thermal Fluctuations In Topological P-Wave Superconductors Bela Bauer, Roman Lutchyn, Matthew Hastings, Matthias Troyer January 2012
Publication Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012 To appear Project
Publication Agent Failures in Totally Balanced Games and Convex Games Ian Kash, Nisarg Shah WINE | January 2012
Publication Near-Optimal Scheduling Mechanisms for Deadline-Sensitive Jobs Navendu Jain, Ishai Menache, Seffi Naor, Jonathan Yaniv SPAA | January 2012
Publication Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems Sébastien Bubeck, Nicolò Cesa-Bianchi Foundations and Trends® in Machine Learning | January 2012