Approximate Bitcoin Mining[C] 2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC) 2016 Vilim, Matthew Duwe, Henry Kumar, Rakesh