Once variadic constraints are part of the type system with #158077, we would like to be able to express variadic constraints that do not imply the same types for all the elements of the variadic. The ...
Abstract: This paper deals with the dynamic multi-item capacitated lot-sizing problem under random period demands (SCLSP). Unfilled demands are backordered and a fillrate constraint is in effect. It ...