On exact blockers and anti-blockers, image-conjecture, and related problems Original Research Article

Let us consider two binary systems of inequalities (i) image and (ii) image, where image is an imageimage-matrix, image, and image is the vector of image ones. The set of all support-minimal (respectively, support-maximal) solutions image to (i) (respectively, to (ii)) is called the blocker (respectively, anti-blocker).