Výsledky vyhledávání
- 1.0552264 - MÚ 2022 RIV US eng J - Článek v odborném periodiku
Atserias, A. - Bonacina, I. - de Rezende, Susanna F. - Lauria, M. - Nordström, J. - Razborov, A.
Clique is hard on average for regular resolution.
Journal of the ACM. Roč. 68, č. 4 (2021), č. článku 23. ISSN 0004-5411. E-ISSN 1557-735X
Institucionální podpora: RVO:67985840
Klíčová slova: average complexity * clique * resolution
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.269, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3449352
Trvalý link: http://hdl.handle.net/11104/0327397Název souboru Staženo Velikost Komentář Verze Přístup DeRezende3.pdf 2 346.6 KB Vydavatelský postprint vyžádat - 2.0479824 - ÚI 2018 US eng J - Článek v odborném periodiku
Čadek, M. - Krčál, Marek - Matoušek, J. - Sergeraert, F. - Vokřínek, L. - Wagner, Alois
Computing All Maps into a Sphere.
Journal of the ACM. Roč. 61, č. 3 (2014), č. článku 17. ISSN 0004-5411. E-ISSN 1557-735X
Klíčová slova: algebraic-topology * cohomology * homology * Algorithms * Theory * Computational topology * homotopy groups * postnikov systems
Impakt faktor: 1.394, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0275749 - 3.0448097 - ÚI 2016 RIV US eng J - Článek v odborném periodiku
Franek, Peter - Krčál, M.
Robust Satisfiability of Systems of Equations.
Journal of the ACM. Roč. 62, č. 4 (2015), č. článku 26. ISSN 0004-5411. E-ISSN 1557-735X
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA MŠk(CZ) LL1201
Institucionální podpora: RVO:67985807
Klíčová slova: nonlinear equations * satisfability * undecibility * topological extensions * uncertainty * robustness
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.803, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0249823Název souboru Staženo Velikost Komentář Verze Přístup a0448097.pdf 17 359.7 KB Vydavatelský postprint vyžádat - 4.0402803 - UIVT-O 980004 RIV US eng J - Článek v odborném periodiku
Šíma, Jiří - Wiedermann, Jiří
Theory of Neuromata.
Journal of the ACM. Roč. 45, č. 1 (1998), s. 155-178. ISSN 0004-5411. E-ISSN 1557-735X
Grant CEP: GA ČR GA201/95/0976; GA ČR GA201/98/0717
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.703, rok: 1998
Trvalý link: http://hdl.handle.net/11104/0123179Název souboru Staženo Velikost Komentář Verze Přístup 0402803.pdf 0 533.3 KB Autorský preprint povolen - 5.0352511 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Allender, E. - Koucký, Michal
Amplifying lower bounds by means of self-reducibility.
Journal of the ACM. Roč. 57, č. 3 (2010), s. 1-36. ISSN 0004-5411. E-ISSN 1557-735X
Grant CEP: GA ČR GAP202/10/0854; GA MŠMT(CZ) 1M0545; GA AV ČR IAA100190902
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Circuit Complexity * Lower Bounds * Natural Proofs * Self-Reducibility * Time-Space Tradeoffs
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 3.375, rok: 2010
http://dl.acm.org/citation.cfm?doid=1706591.1706594
Trvalý link: http://hdl.handle.net/11104/0192003Název souboru Staženo Velikost Komentář Verze Přístup Koucky.pdf 1 249.6 KB Autorský postprint vyžádat - 6.0041143 - MÚ 2007 RIV US eng J - Článek v odborném periodiku
Pudlák, Pavel
An improved exponential-time algorithm for k-SAT.
[Zlepšený exponenciální algoritmus pro k-SAT.]
Journal of the ACM. Roč. 52, č. 3 (2005), s. 337-364. ISSN 0004-5411. E-ISSN 1557-735X
Grant CEP: GA AV ČR(CZ) IAA1019901
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: CNF satisfiability * randomized algorithms
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.197, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0134712Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 227.3 KB Vydavatelský postprint vyžádat