Version SAT
Cox, Russ
@misc{cox:version-sat,
author = {Cox, Russ},
date-added = {2020-11-15 23:36:57 -0800},
date-modified = {2020-11-15 23:36:57 -0800},
howpublished = {https://research.swtch.com/version-sat},
month = dec,
title = {{Version SAT}},
year = {2016},
bdsk-url-1 = {https://research.swtch.com/version-sat}
}