Table Constraints for Integer Programming. | AMiner