Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Mouli, Sasank"'
Autor:
Mouli, Sasank
For every $n >0$, we show the existence of a CNF tautology over $O(n^2)$ variables of width $O(\log n)$ such that it has a Polynomial Calculus Resolution refutation over $\{0,1\}$ variables of size $O(n^3polylog(n))$ but any Polynomial Calculus refut
Externí odkaz:
http://arxiv.org/abs/2403.03933
For every prime p > 0, every n > 0 and κ = O(log n), we show the existence of an unsatisfiable system of polynomial equations over O(n log n) variables of degree O(log n) such that any Polynomial Calculus refutation over 𝔽_p with M extension vari
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de0377b25bdee5ff333db9140d9eaafd