Zobrazeno 1 - 10
of 212
pro vyhledávání: '"Algebraic proof systems"'
Autor:
BONACINA, ILARIO1 bonacina@di.uniroma1.it, GALESI, NICOLA1 nicola.galesi@uniroma1.it
Publikováno v:
Journal of the ACM. Jun2015, Vol. 62 Issue 3, p1-20. 20p.
Conference
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.
Conference
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:
Pitassi, Toniann
Given a set of polynomial equations over a field F, how hard is it to prove that they are simultaneously unsolvable? In the last twenty years, algebraic proof systems for refuting such systems of equations have been extensively studied, revealing clo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bcdd27d566a9bed0d65407a496bd02fd
Autor:
Grigoriev, Dima *, Hirsch, Edward A.
Publikováno v:
In Theoretical Computer Science 2003 303(1):83-102
Autor:
Dima Grigoriev, Edward A. Hirsch
Publikováno v:
Theoretical Computer Science. 303(1):83-102
We introduce two algebraic propositional proof systems F-NS and F-PC. The main difference of our systems from (customary) Nullstellensatz and polynomial calculus is that the polynomials are represented as arbitrary formulas (rather than sums of monom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c378e583194b28d8e58f7a5b8a1a1737
Conference
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:
Toniann Pitassi, Susanna F. de Rezende, Jakob Nordström, Mika Göös, Dmitry Sokolov, Robert Robere
Publikováno v:
University of Copenhagen
STOC
STOC
We show that algebraic proofs are hard to find: Given an unsatisfiable CNF formula F, it is NP-hard to find a refutation of F in the Nullstellensatz, Polynomial Calculus, or Sherali–Adams proof systems in time polynomial in the size of the shortest
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e5651c61891d6054050fe22d0d3f093
https://curis.ku.dk/portal/en/publications/automating-algebraic-proof-systems-is-nphard(706a9771-b323-491a-9204-b914bb4e775c).html
https://curis.ku.dk/portal/en/publications/automating-algebraic-proof-systems-is-nphard(706a9771-b323-491a-9204-b914bb4e775c).html