Skip to main content

Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic

Georg Gottlob and Enrico Malizia

Address
Vienna‚ Austria
Book Title
Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (CSL−LICS 2014)
Editor
Thomas A. Henzinger and Dale Miller
Month
July 14–18
Pages
43:1–43:10
Year
2014