출판 Efficiently Solving Quantified Bit-Vector Formulas Youssef Hamadi, Leonardo de Moura, Christoph M. Wintersteiger Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD) | January 2010 Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD) to appear
출판 Modeling Discrete Combinatorial Systems as Alphabetic Bipartite Networks: Theory and Applications Monojit Choudhury, Niloy Ganguly, Abyayanda Maiti, Animesh Mukherjee, Lutz Brusch, Andreas Deutsch, Fernando Peruani Physical Review E | January 2010, 제 81 권: pp. 36103
출판 Survivable Virtual Network Embedding Muntasir Raihan Rahman, Issam Aib, Raouf Boutaba NETWORKING 2010 | January 2010
출판 Local Dynamics in Bargaining Networks via Random-Turn Games Elisa Celis, Nikhil Devanur, Yuval Peres In Proc. WINE 2010 | January 2010
출판 Bandit View on Noisy Optimization Jean-Yves Audibert, Sébastien Bubeck, Rémi Munos Optimization for Machine Learning, 1 | 글쓴이 MIT Press | 2010
출판 Coalitional Structure Generation in Skill Games Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli AAAI 2010 | January 2010
출판 On the Power of Belief Propagation: A Constraint Propagation Perspective R. Dechter, B. Bidyuk, Robert Mateescu, E. Rollon Heuristics, Probability and Causality. A Tribute to Judea Pearl | 글쓴이 College Publications | 2010
출판 Hard Instances for Satisfiability and Quasi-one-way Functions Andrej Bogdanov, Kunal Talwar, Andrew Wan Innovations in Computer Science (ICS) | January 2010 Innovations in Computer Science (ICS)
출판 On the Difficulties of Disclosure Prevention in Statistical Databases or The Case for Differential Privacy Cynthia Dwork, Moni Naor Journal of Privacy and Confidentiality | January 2010, 제 2 권: pp. 93-107 프로젝트