Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock
SpaceSearch: a library for building and verifying solver-aided tools
ICFP, 2017.
@article{ICFP-2017-WeitzLHTET,
author = "Konstantin Weitz and Steven Lyubomirsky and Stefan Heule and Emina Torlak and Michael D. Ernst and Zachary Tatlock",
doi = "10.1145/3110269",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "28",
title = "{SpaceSearch: a library for building and verifying solver-aided tools}",
volume = 1,
year = 2017,
}