A SAT model to mine flexible sequences in transactional datasets | Read Paper on Bytez