FGILP: An integer linear program solver based on function graphs | IEEE Conference Publication | IEEE Xplore