TY - RPRT TI - A SAT model to mine flexible sequences in transactional datasets AU - Rémi Coletta AU - Benjamin Negrevergne PY - 2016 UR - https://arxiv.org/abs/1604.00300 ID - 1604.00300 ER -