Algorithms

Mikolas Janota, Christoph M. Wintersteiger

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016

Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016

Wei Chen, Tian Lin, Zihan Tan, Mingfei Zhao, Xuren Zhou

In Proceedings of the 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD’2016), San Francisco, U.S.A., August, 2016. | June 2016

Wei Chen, Qiang Li, Xiaoming Sun, Jialin Zhang

Proceedings of the 22nd International Computing and Combinatorics Conference (COCOON’2016), Ho Chi Minh City, Vietnam, August, 2016. | June 2016

Proceedings of the 22nd International Computing and Combinatorics Conference (COCOON'2016)

Bibudh Lahiri, Arko Mukherjee, Srikanta Tirthapura

Data Mining and Knowledge Discovery | June 2016, Vol 30(4): pp. 797-818

Nishanth Chandran, Vipul Goyal, Pratyay Mukherjee, Omkant Pandey, Jalaj Upadhyay

ICALP 2016 | June 2016

Giuseppe Ottaviano, Pushmeet Kohli

Computer Vision and Pattern Recognition (CVPR), 2013 IEEE Conference on | June 2016

ISBN: 978-0-7695-4989-7

Prateek Jain, Chi Jin, Sham Kakade, Praneeth Netrapalli, Aaron Sidford

Proceedings of The 29th Conference on Learning Theory (COLT) | June 2016

Proceedings of The 29th Conference on Learning Theory (COLT)

Project

Christopher Mitchell, Kate Montgomery, Lamont Nelson, Jinyang Li, Siddhartha Sen

USENIX Annual Technical Conference (ATC) | June 2016

Kush Bhatia, Prateek Jain, Purushottam Kar, Kamalaurben Parameswaran

MSR-TR-2016-20 | June 2016

Project