Անցեք բովանդակությանը
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Լեզու
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
Hypergraphs in Model Checking:...
Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Արտահանել դեպի RefWorks
Արտահանել դեպի EndNoteWeb
Արտահանել դեպի EndNote
Մշտական հղում
Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:
Gottlob, G
,
Pichler, R
Ձևաչափ:
Journal article
Հրապարակվել է:
2004
Պահումներ
Նկարագրություն
Այլ տարբերակներ (1)
Նմանատիպ նյութեր
Աշխատակազմի տեսք
Նմանատիպ նյութեր
Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Hypertree width and related hypergraph invariants
: Adler, I, և այլն
Հրապարակվել է: (2007)
Hypertree-Width and Related Hypergraph Invariants
: Isolde Adler, և այլն
Հրապարակվել է: (2005-01-01)
Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
: Gottlob, G, և այլն
Հրապարակվել է: (2003)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
General and fractional hypertree decompositions: hard and easy cases
: Fischl, W, և այլն
Հրապարակվել է: (2018)
General and fractional hypertree decompositions: hard and easy cases
: Fischl, W, և այլն
Հրապարակվել է: (2018)
Complexity analysis of generalized and fractional hypertree decompositions
: Gottlob, G, և այլն
Հրապարակվել է: (2021)
Fast parallel hypertree decompositions in logarithmic recursion depth
: Gottlob, G, և այլն
Հրապարակվել է: (2022)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1998)
Hypertree Decompositions: A Survey
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Hypertree decompositions: questions and answers
: Gottlob, G, և այլն
Հրապարակվել է: (2016)
Combining hypertree‚ bicomp‚ and hinge decomposition
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
Covering the Edges of a Random Hypergraph by Cliques
: Rödl Vojtěch, և այլն
Հրապարակվել է: (2022-11-01)
Incremental updates of generalized hypertree decompositions
: Gottlob, G, և այլն
Հրապարակվել է: (2022)
P 6- and triangle-free graphs revisited: structure and bounded clique-width
: Andreas Brandstädt, և այլն
Հրապարակվել է: (2006-01-01)
Semantic width and the fixed-parameter tractability of constraint satisfaction problems
: Chen, H, և այլն
Հրապարակվել է: (2020)
Hypertree Decompositions: Structure‚ Algorithms‚ and Applications
: Gottlob, G, և այլն
Հրապարակվել է: (2005)
A Backtracking−Based Algorithm for Computing Hypertree−Decompositions
: Gottlob, G, և այլն
Հրապարակվել է: (2007)
Generalized hypertree decompositions: np−hardness and tractable variants
: Gottlob, G, և այլն
Հրապարակվել է: (2007)
Generalized hypertree decompositions: np-hardness and tractable variants.
: Gottlob, G, և այլն
Հրապարակվել է: (2007)
On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition
: Gottlob, G, և այլն
Հրապարակվել է: (2007)
The Average-Case Complexity of Counting Cliques in Erdös--Rényi Hypergraphs
: Boix-Adserà, Enric, և այլն
Հրապարակվել է: (2022)
The Average-Case Complexity of Counting Cliques in Erdős-Rényi Hypergraphs
: Boix-Adsera, Enric, և այլն
Հրապարակվել է: (2021)
HyperConsistency Width For Constraint Satisfaction
: Marnette, B, և այլն
Հրապարակվել է: (2009)
Inapproximability of Rank, Clique, Boolean, and Maximum Induced Matching-Widths under Small Set Expansion Hypothesis
: Koichi Yamazaki
Հրապարակվել է: (2018-10-01)
Arboricity : an acyclic hypergraph decomposition problem motivated by database theory
: Chee, Yeow Meng, և այլն
Հրապարակվել է: (2013)
Fractional covers of hypergraphs with bounded multi-intersection
: Gottlob, G, և այլն
Հրապարակվել է: (2023)
Hypergraph Transversals
: Gottlob, G
Հրապարակվել է: (2004)
Sharp Bounds on the Spectral Radii of Uniform Hypergraphs concerning Diameter or Clique Number
: Qiannan Niu, և այլն
Հրապարակվել է: (2021-01-01)
On cordial labeling of hypertrees
: Michał Tuczyński, և այլն
Հրապարակվել է: (2019-08-01)
HyperBench: A benchmark and tool for hypergraphs and empirical findings
: Fischl, W, և այլն
Հրապարակվել է: (2019)
On binary decision hypertree (hyperdiagram)
: Mohammad Hamidi, և այլն
Հրապարակվել է: (2024-04-01)
PreLie-decorated hypertrees
: Bérénice Oger
Հրապարակվել է: (2013-01-01)
Asymptotic Sharpness of Bounds on Hypertrees
: Lin Yi, և այլն
Հրապարակվել է: (2017-08-01)
Semantic acyclicity under constraints
: Gottlob, G, և այլն
Հրապարակվել է: (2016)
Prev
Հաջորդը
Նմանատիպ նյութեր
Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Hypertree width and related hypergraph invariants
: Adler, I, և այլն
Հրապարակվել է: (2007)
Hypertree-Width and Related Hypergraph Invariants
: Isolde Adler, և այլն
Հրապարակվել է: (2005-01-01)
Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
: Gottlob, G, և այլն
Հրապարակվել է: (2003)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
