A bi-level model and heuristic techniques with various neighborhood strategies for covering interdiction problem with fortification. - Abdolsalam Ghaderi; Zahra Hosseinzadeh Bandbon; Anwar Mahmoodi (Soft Comput., 2024)