Algorithms

Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg

CAV’14 | July 2014

Long Tran-Thanh, Lampros Stavrogiannis, Victor Naroditskiy, Valentin Robu, Nicholas R Jennings, Peter Key

uai2014, 30th Conf. on Uncertainty in AI | July 2014

Qihang Lin, Zhaosong Lu, Lin Xiao

MSR-TR-2014-94 | July 2014

Bojun Huang, Thomas Moscibroda

July 2014

, Philipp Rummer

Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) | July 2014

Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) | July 2014

Best paper award

Shaolei Ren, Yuxiong He, Kathryn S McKinley

MSR-TR-2014-101 | July 2014

Alekh Agarwal, Animashree Anandkumar, Prateek Jain, Praneeth Netrapalli, Rashish Tandon

Proceedings of The 27th Conference on Learning Theory, COLT 2014, Barcelona, Spain, June 13-15, 2014 | July 2014

Project

Prateek Jain, Sewoong Oh

Proceedings of The 27th Conference on Learning Theory, COLT 2014, Barcelona, Spain, June 13-15, 2014 | July 2014

Srinadh Bhojanapalli, Prateek Jain

Proceedings of the 31th International Conference on Machine Learning, ICML 2014, Beijing, China, 21-26 June 2014 | July 2014