Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/pacmpl/WeitzLHTET17
%A Weitz, Konstantin
%A Lyubomirsky, Steven
%A Heule, Stefan
%A Torlak, Emina
%A Ernst, Michael D.
%A Tatlock, Zachary
%D 2017
%J Proc. ACM Program. Lang.
%K
%N ICFP
%P 25:1-25:28
%T SpaceSearch: a library for building and verifying solver-aided tools.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#WeitzLHTET17
%V 1
@article{journals/pacmpl/WeitzLHTET17,
added-at = {2023-12-12T22:00:08.000+0100},
author = {Weitz, Konstantin and Lyubomirsky, Steven and Heule, Stefan and Torlak, Emina and Ernst, Michael D. and Tatlock, Zachary},
biburl = {https://www.bibsonomy.org/bibtex/21b5dbeb543653f58c3f32dac2cfbc2ea/admin},
ee = {https://doi.org/10.1145/3110269},
interhash = {45a6487d925f2e321bb697fd740cf946},
intrahash = {1b5dbeb543653f58c3f32dac2cfbc2ea},
journal = {Proc. ACM Program. Lang.},
keywords = {},
number = {ICFP},
pages = {25:1-25:28},
timestamp = {2023-12-12T22:00:08.000+0100},
title = {SpaceSearch: a library for building and verifying solver-aided tools.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#WeitzLHTET17},
volume = 1,
year = 2017
}