Construction of Value Functions of Integer Programs with Finite Domain - BizPub.ai