Flexible constraint satisfiability and a problem in semigroup theory - Marcel Jackson (2015)