%0 Conference Paper %1 conf/hpec/EzickSHO14 %A Ezick, James R. %A Springer, Jonathan %A Henretty, Tom %A Oh, Chanseok %B HPEC %D 2014 %I IEEE %K dblp %P 1-6 %T Extreme SAT-based Constraint solving with R-Solve. %U http://dblp.uni-trier.de/db/conf/hpec/hpec2014.html#EzickSHO14 %@ 978-1-4799-6233-4

@inproceedings{conf/hpec/EzickSHO14, added-at = {2018-09-19T00:00:00.000+0200}, author = {Ezick, James R. and Springer, Jonathan and Henretty, Tom and Oh, Chanseok}, biburl = {https://www.bibsonomy.org/bibtex/21e2c788c1476923934ee2b5a403e85d2/dblp}, booktitle = {HPEC}, crossref = {conf/hpec/2014}, ee = {https://doi.org/10.1109/HPEC.2014.8466735}, interhash = {289bdbf23c3a5aefc4612520616fff66}, intrahash = {1e2c788c1476923934ee2b5a403e85d2}, isbn = {978-1-4799-6233-4}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2018-09-20T11:37:44.000+0200}, title = {Extreme SAT-based Constraint solving with R-Solve.}, url = {http://dblp.uni-trier.de/db/conf/hpec/hpec2014.html#EzickSHO14}, year = 2014 }