Zobrazeno 1 - 10
of 8 155
pro vyhledávání: '"P Lichter"'
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.
We study the refutation complexity of graph isomorphism in the tree-like resolution calculus. Tor\'an and W\"orz (TOCL 2023) showed that there is a resolution refutation of narrow width $k$ for two graphs if and only if they can be distinguished in (
Externí odkaz:
http://arxiv.org/abs/2407.17947
Autor:
Lichter, Moritz, Pago, Benedikt
We show that various known algorithms for finite-domain constraint satisfaction problems (CSP), which are based on solving systems of linear equations over the integers, fail to solve all tractable CSPs correctly. The algorithms include $\mathbb{Z}$-
Externí odkaz:
http://arxiv.org/abs/2407.09097
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:
Gal, Rinon, Lichter, Or, Richardson, Elad, Patashnik, Or, Bermano, Amit H., Chechik, Gal, Cohen-Or, Daniel
Recent advancements in diffusion models have introduced fast sampling methods that can effectively produce high-quality images in just one or a few denoising steps. Interestingly, when these are distilled from existing diffusion models, they often ma
Externí odkaz:
http://arxiv.org/abs/2404.03620
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:
Robinson, Peter M.
Publikováno v:
Studies in American Humor; 2021, Vol. 7 Issue 2, p1-5, 5p, 1 Black and White Photograph
Jupyter Notebook is an interactive development environment commonly used for rapid experimentation of machine learning (ML) solutions. Describing the ML activities performed along code cells improves the readability and understanding of Notebooks. Ma
Externí odkaz:
http://arxiv.org/abs/2403.07562
The Weisfeiler-Leman dimension of a graph $G$ is the least number $k$ such that the $k$-dimensional Weisfeiler-Leman algorithm distinguishes $G$ from every other non-isomorphic graph. The dimension is a standard measure of the descriptive complexity
Externí odkaz:
http://arxiv.org/abs/2402.11531