Data Structures for Finite Downsets of Natural Vectors: Theory and Practice

Michaël Cadilhac, Vanessa Flügel, Guillermo A. Pérez +1

Manipulating downward-closed sets of vectors forms the basis of so-called antichain-based algorithms in verification. In that context, the dimension of the vectors is intimately ti…