Athanassios G. Siapas;Gerald Jay Sussman
-;-
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning
Distributed GraphLab: a framework for machine learning and data mining in the cloud
Proceedings of the VLDB Endowment