Reversible CSP Computations

Carlos Galindo 0002, Naoki Nishida 0001, Josep Silva, Salvador Tamarit. Reversible CSP Computations. IEEE Trans. Parallel Distrib. Syst., 32(6):1425-1436, 2021. [doi]

Abstract

Abstract is missing.