Hendrik Bierlee Wout Piessens Tias Guns Peter J. Stuckey Table Constraints for Integer Programming. 6:1-6:19 2026 CP https://doi.org/10.4230/LIPIcs.CP.2026.6 conf/cp/2026 db/conf/cp/cp2026.html#BierleePGS26