Toward Domain-Specific Solvers for Distributed Consistency (2012) [pdf]users.soe.ucsc.edu47 pointsluu7 years ago