Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic

Georg Gottlob, Enrico Malizia. Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic. SIAM Journal on Computing, 47(2):456-492, 2018. [doi]

Abstract

Abstract is missing.