SAT−solving in CSP trace refinement - Palikareva, H; Ouaknine, J; Roscoe, A (2011)