Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador(Springer, 2020-07-10)
[EN] This paper presents reverCSP, a tool to animate both forward and backward CSP computations. This ability to reverse computations can be done step by step or backtracking to a given desired state of interest. reverCSP ...