Intermediate feasibility in 0–1 integer linear systems

The Intermediate Feasibility Property (IFP) is defined for 0–1 integer linear systems. It is shown that IFP holds for 1-matching/covering systems, but not in general. Complexity results are established for checking whether this property holds in other 0–1 systems.