Zero-one integer programs with few constraints —Lower bounding theory