ByNobleID
    Binary Covering Arrays and Existentially Closed Graphs | NobleID