Binary image synthesis using mixed linear integer programming