Characterizing the integer points in 2-decomposable polyhedra by closedness under operations

Kei Kimura, Kazuhisa Makino, Shota Yamada +1

Characterizing the solution sets in a problem by closedness under operations is recognized as one of the key aspects of algorithm development, especially in constraint satisfaction…