U users.soe.ucsc.edu Toward Domain-Specific Solvers for Distributed Consistency (2012) [pdf] 47 points luu 7 years ago 4 comments
