An Experimental Study of ILP Formulations for the Longest Induced Path Problem Article