Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width

Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Asıl Yazarlar:	Gottlob, G, Pichler, R
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	2004

Benzer Materyaller

Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Hypertree width and related hypergraph invariants
Yazar:: Adler, I, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Hypertree-Width and Related Hypergraph Invariants
Yazar:: Isolde Adler, ve diğerleri
Baskı/Yayın Bilgisi: (2005-01-01)

Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

General and fractional hypertree decompositions: hard and easy cases
Yazar:: Fischl, W, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

General and fractional hypertree decompositions: hard and easy cases
Yazar:: Fischl, W, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Complexity analysis of generalized and fractional hypertree decompositions
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Fast parallel hypertree decompositions in logarithmic recursion depth
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Hypertree Decompositions and Tractable Queries
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Hypertree Decompositions: A Survey
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Hypertree Decompositions and Tractable Queries
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Hypertree Decompositions and Tractable Queries
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Hypertree Decompositions and Tractable Queries
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Hypertree decompositions: questions and answers
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Combining hypertree‚ bicomp‚ and hinge decomposition
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Covering the Edges of a Random Hypergraph by Cliques
Yazar:: Rödl Vojtěch, ve diğerleri
Baskı/Yayın Bilgisi: (2022-11-01)

Incremental updates of generalized hypertree decompositions
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

P 6- and triangle-free graphs revisited: structure and bounded clique-width
Yazar:: Andreas Brandstädt, ve diğerleri
Baskı/Yayın Bilgisi: (2006-01-01)

Semantic width and the fixed-parameter tractability of constraint satisfaction problems
Yazar:: Chen, H, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hypertree Decompositions: Structure‚ Algorithms‚ and Applications
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

A Backtracking−Based Algorithm for Computing Hypertree−Decompositions
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Generalized hypertree decompositions: np−hardness and tractable variants
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Generalized hypertree decompositions: np-hardness and tractable variants.
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

The Average-Case Complexity of Counting Cliques in Erdös--Rényi Hypergraphs
Yazar:: Boix-Adserà, Enric, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

The Average-Case Complexity of Counting Cliques in Erdős-Rényi Hypergraphs
Yazar:: Boix-Adsera, Enric, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

HyperConsistency Width For Constraint Satisfaction
Yazar:: Marnette, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Inapproximability of Rank, Clique, Boolean, and Maximum Induced Matching-Widths under Small Set Expansion Hypothesis
Yazar:: Koichi Yamazaki
Baskı/Yayın Bilgisi: (2018-10-01)

Arboricity : an acyclic hypergraph decomposition problem motivated by database theory
Yazar:: Chee, Yeow Meng, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Fractional covers of hypergraphs with bounded multi-intersection
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Hypergraph Transversals
Yazar:: Gottlob, G
Baskı/Yayın Bilgisi: (2004)

Sharp Bounds on the Spectral Radii of Uniform Hypergraphs concerning Diameter or Clique Number
Yazar:: Qiannan Niu, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

On cordial labeling of hypertrees
Yazar:: Michał Tuczyński, ve diğerleri
Baskı/Yayın Bilgisi: (2019-08-01)

HyperBench: A benchmark and tool for hypergraphs and empirical findings
Yazar:: Fischl, W, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

On binary decision hypertree (hyperdiagram)
Yazar:: Mohammad Hamidi, ve diğerleri
Baskı/Yayın Bilgisi: (2024-04-01)

PreLie-decorated hypertrees
Yazar:: Bérénice Oger
Baskı/Yayın Bilgisi: (2013-01-01)

Asymptotic Sharpness of Bounds on Hypertrees
Yazar:: Lin Yi, ve diğerleri
Baskı/Yayın Bilgisi: (2017-08-01)

Semantic acyclicity under constraints
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2016)