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