Integer programming formulations for the elementary shortest path problem
Approximating longest directed paths and cycles