Implement DL (Desrochers-Laporte) formulation