New Results on Monotone Dualization and Generating Hypergraph Transversals

New Results on Monotone Dualization and Generating Hypergraph Transversals

Show other versions (2)

Bibliographic Details
Main Authors:	Eiter, T, Gottlob, G, Makino, K
Format:	Journal article
Published:	2002

Similar Items

New results on monotone dualization and generating hypergraph transversals
by: Eiter, T, et al.
Published: (2002)

New Results on Monotone Dualization and Generating Hypergraph Transversals
by: Eiter, T, et al.
Published: (2003)

Hypergraph Transversal Computation and Related Problems in Logic and AI
by: Eiter, T, et al.
Published: (2002)

Identifying the Minimal Transversals of a Hypergraph and Related Problems
by: Eiter, T, et al.
Published: (1995)

Hypergraph Transversals
by: Gottlob, G
Published: (2004)

The Age of Dualization
by: Seeleib-Kaiser, M, et al.
Published: (2012)

Dualizable tensor categories
by: Douglas, C, et al.
Published: (2021)

Dualizable tensor categories
by: Douglas, CL, et al.
Published: (2020)

Dualizability and index of subfactors
by: Bartels, A, et al.
Published: (2014)

Coherence for 3-dualizable objects
by: Araújo, M
Published: (2017)

Conformal nets V: dualizability
by: Bartels, A, et al.
Published: (2022)

On Dualization over Distributive Lattices
by: Khaled Elbassioni
Published: (2022-10-01)

Dualized Simple Type Theory
by: Harley Eades III, et al.
Published: (2017-04-01)

Dualizing Distance-Hereditary Graphs
by: McKee Terry A.
Published: (2021-02-01)

On the dualization of Born–Infeld theories
by: Laura Andrianopoli, et al.
Published: (2015-05-01)

Lepton transmutation in the dualized standard model
by: Bordes, J, et al.
Published: (2002)

Dualized gravity beyond linear approximation
by: Salman Sajad Wani, et al.
Published: (2022-08-01)

Achieving new upper bounds for the hypergraph duality problem through logic
by: Gottlob, G, et al.
Published: (2014)

Achieving new upper bounds for the hypergraph duality problem through logic
by: Gottlob, G, et al.
Published: (2018)

Shifting the Public-Private Mix: A New Dualization of Welfare?
by: Saunders, A, et al.
Published: (2011)

Transversal Core of Intuitionistic Fuzzy k-Partite Hypergraphs
by: K.K Myithili, et al.
Published: (2023-03-01)

Complexity Results for Logic−Based Abduction
by: Eiter, T, et al.
Published: (1992)

Electric-magnetic duality and the dualized standard model
by: Tsou, S
Published: (2003)

The SL(2, ℤ) dualization algorithm at work
by: Riccardo Comi, et al.
Published: (2023-06-01)

Hypertree width and related hypergraph invariants
by: Adler, I, et al.
Published: (2007)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
by: Eiter, T, et al.
Published: (1993)

Hypertree-Width and Related Hypergraph Invariants
by: Isolde Adler, et al.
Published: (2005-01-01)

The Dualized Standard Model and its applications - An interim report
by: Chan, H, et al.
Published: (1999)

Updates to the dualized standard model on fermion masses and mixings
by: Bordes, J, et al.
Published: (2003)

Probing bad theories with the dualization algorithm. Part I
by: Simone Giacomelli, et al.
Published: (2024-04-01)

Probing bad theories with the dualization algorithm. Part I
by: Giacomelli, S, et al.
Published: (2024)

Probing bad theories with the dualization algorithm. Part II
by: Giacomelli, S, et al.
Published: (2024)

Labor Market Institutions, Mobility, and Dualization in the Nordic Countries
by: Jørgen Svalund
Published: (2013-01-01)

T-dualization of type II superstring theory in double space
by: B. Nikolić, et al.
Published: (2017-03-01)

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
by: Eiter, T, et al.
Published: (1997)

Fractional covers of hypergraphs with bounded multi-intersection
by: Gottlob, G, et al.
Published: (2023)

Bounding the Number of Minimal Transversals in Tripartite 3-Uniform Hypergraphs
by: Alexandre Bazin, et al.
Published: (2023-04-01)

Hypergraphs with large transversal number and with edge sizes at least four
by: Henning Michael, et al.
Published: (2012-06-01)

Complexity Results for Abductive Logic Programming
by: Eiter, T, et al.
Published: (1995)

Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
by: Gottlob, G, et al.
Published: (2004)