Zobrazeno 1 - 10
of 98
pro vyhledávání: '"Measure and conquer"'
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 23 no. 2, special issue..., Iss Special issues (2023)
We focus on the maximum number of minimal transversals in 3-partite 3-uniform hypergraphs on n vertices. Those hypergraphs (and their minimal transversals) are commonly found in database applications. In this paper we prove that this number grows at
Externí odkaz:
https://doaj.org/article/92366dece00a44bcbd0104faf6b39ab6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Discrete Mathematics and Theoretical Computer Science
Discrete Mathematics and Theoretical Computer Science, 2023, vol. 23 no. 2, special issue in honour of Maurice Pouzet, ⟨10.46298/dmtcs.7129⟩
Discrete Mathematics and Theoretical Computer Science, 2023, vol. 23 no. 2, special issue in honour of Maurice Pouzet, ⟨10.46298/dmtcs.7129⟩
We focus on the maximum number of minimal transversals in 3-partite 3-uniform hypergraphs on n vertices. Those hypergraphs (and their minimal transversals) are commonly found in database applications. In this paper we prove that this number grows at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44f2a817b464ec749319f81bdbee1d97
https://doi.org/10.46298/dmtcs.7129
https://doi.org/10.46298/dmtcs.7129
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gordon Hoi
Publikováno v:
Combinatorial Optimization and Applications ISBN: 9783030648428
COCOA
COCOA
The Exact Satisfiability problem, XSAT, is defined as the problem of finding a satisfying assignment to a formula \(\varphi \) in CNF such that exactly one literal in each clause is assigned to be “1” and the other literals in the same clause are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::485ad1df66802a0bbe4d04ffbadb2e5a
https://doi.org/10.1007/978-3-030-64843-5_21
https://doi.org/10.1007/978-3-030-64843-5_21
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.