James R. Ezick, Jonathan Springer, Tom Henretty, Chanseok Oh. Extreme SAT-based Constraint solving with R-Solve. In IEEE High Performance Extreme Computing Conference, HPEC 2014, Waltham, MA, USA, September 9-11, 2014. pages 1-6, IEEE, 2014. [doi]
@inproceedings{EzickSHO14,
title = {Extreme SAT-based Constraint solving with R-Solve},
author = {James R. Ezick and Jonathan Springer and Tom Henretty and Chanseok Oh},
year = {2014},
doi = {10.1109/HPEC.2014.8466735},
url = {https://doi.org/10.1109/HPEC.2014.8466735},
researchr = {https://researchr.org/publication/EzickSHO14},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {IEEE High Performance Extreme Computing Conference, HPEC 2014, Waltham, MA, USA, September 9-11, 2014},
publisher = {IEEE},
}