Implicit enumeration algorithm of integer programming on ILLIAC IV | lit.salon