Testing idealness in the filter oracle model

Ahmad Abdi, Gérard Cornuéjols, Bertrand Guenin +1

A filter oracle for a clutter consists of a finite set $V$ along with an oracle which, given any set $X\subseteq V$, decides in unit time whether or not $X$ contains a member of th…