This data package is provided as supplementary material of the paper:

“A GPU Approach to Efficiently Reusing Constraint Proofs”, by M. Chen, G. Denaro and M. Pezzè, 

submitted for evaluation to IEEE Transactions on software engineering, Nov. 2019.




The data package consists of 24 files:

- a file named _README.txt: this file

- a file named _programs.txt

- 22 files named <program_name>.sexpr


Dataset Files

You must be an IEEE Dataport Subscriber to access these files. Subscribe now or login.

File _README.txt958 bytes
[1] Giovanni Denaro, "Parallel ReCal Supplementary material", IEEE Dataport, 2019. [Online]. Available: http://dx.doi.org/10.21227/hwxc-cf61. Accessed: Nov. 29, 2023.
doi = {10.21227/hwxc-cf61},
url = {http://dx.doi.org/10.21227/hwxc-cf61},
author = {Giovanni Denaro },
publisher = {IEEE Dataport},
title = {Parallel ReCal Supplementary material},
year = {2019} }
T1 - Parallel ReCal Supplementary material
AU - Giovanni Denaro
PY - 2019
PB - IEEE Dataport
UR - 10.21227/hwxc-cf61
ER -
Giovanni Denaro. (2019). Parallel ReCal Supplementary material. IEEE Dataport. http://dx.doi.org/10.21227/hwxc-cf61
Giovanni Denaro, 2019. Parallel ReCal Supplementary material. Available at: http://dx.doi.org/10.21227/hwxc-cf61.
Giovanni Denaro. (2019). "Parallel ReCal Supplementary material." Web.
1. Giovanni Denaro. Parallel ReCal Supplementary material [Internet]. IEEE Dataport; 2019. Available from : http://dx.doi.org/10.21227/hwxc-cf61
Giovanni Denaro. "Parallel ReCal Supplementary material." doi: 10.21227/hwxc-cf61