Weitz, Konstantin, Lyubomirsky, Steven, Heule, Stefan, Torlak, Emina, Ernst, Michael D., and Tatlock, Zachary. SpaceSearch: a library for building and verifying solver-aided tools. Retrieved from https://par.nsf.gov/biblio/10049043. Proceedings of the ACM on Programming Languages 1.ICFP Web. doi:10.1145/3110269.

Weitz, Konstantin, Lyubomirsky, Steven, Heule, Stefan, Torlak, Emina, Ernst, Michael D., & Tatlock, Zachary. SpaceSearch: a library for building and verifying solver-aided tools. Proceedings of the ACM on Programming Languages, 1 (ICFP). Retrieved from https://par.nsf.gov/biblio/10049043. https://doi.org/10.1145/3110269

Weitz, Konstantin, Lyubomirsky, Steven, Heule, Stefan, Torlak, Emina, Ernst, Michael D., and Tatlock, Zachary. "SpaceSearch: a library for building and verifying solver-aided tools". Proceedings of the ACM on Programming Languages 1 (ICFP). Country unknown/Code not available. https://doi.org/10.1145/3110269. https://par.nsf.gov/biblio/10049043.

@article{osti_10049043,
place = {Country unknown/Code not available}, title = {SpaceSearch: a library for building and verifying solver-aided tools}, url = {https://par.nsf.gov/biblio/10049043}, DOI = {10.1145/3110269}, abstractNote = {}, journal = {Proceedings of the ACM on Programming Languages}, volume = {1}, number = {ICFP}, author = {Weitz, Konstantin and Lyubomirsky, Steven and Heule, Stefan and Torlak, Emina and Ernst, Michael D. and Tatlock, Zachary}, }