A New Design and Implementation of Progol by Bottom-Up Computation.

Hiroshi Fujita, Naoki Yagi, Tomonobu Ozaki, Koichi Furukawa

Browse the full ILP paper archive.