Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte. Design and Implementation of Bounded-Length Sequence Variables. In Domenico Salvagnin, Michele Lombardi 0001, editors, Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings. Volume 10335 of Lecture Notes in Computer Science, pages 51-67, Springer, 2017. [doi]
Abstract is missing.