Design and implementation of bounded-length sequence variables

Publication
CP-AI-OR 2017