Matches in SemOpenAlex for { <https://semopenalex.org/work/W4292413453> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4292413453 abstract "We formalize a combinatorial principle, called the 3XOR principle, due to Feige, Kim and Ofek (2006), as a family of unsatisfiable propositional formulas for which refutations of small size in any propositional proof system that possesses the feasible interpolation property imply an efficient deterministic refutation algorithm for random 3SAT with n variables and Omega(n^{1.4}) clauses. Such small size refutations would improve the state-of-the-art (with respect to the clause density) efficient refutation algorithm, which works only for Omega(n^{1.5}) many clauses (Feige and Ofek (2007)). We demonstrate polynomial-size refutations of the 3XOR principle in resolution operating with disjunctions of quadratic equations with small integer coefficients, denoted R(quad); this is a weak extension of cutting planes with small coefficients. We show that R(quad) is weakly automatizable iff R(lin) is weakly automatizable, where R(lin) is similar to R(quad) but with linear instead of quadratic equations (introduced in Raz and Tzameret (2008)). This reduces the problem of refuting random 3CNF with n variables and Omega(n^{1.4}) clauses to the interpolation problem of R(quad) and to the weak automatizability of R(lin)." @default.
- W4292413453 created "2022-08-20" @default.
- W4292413453 creator A5066962007 @default.
- W4292413453 date "2013-05-04" @default.
- W4292413453 modified "2023-09-28" @default.
- W4292413453 title "Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem" @default.
- W4292413453 doi "https://doi.org/10.48550/arxiv.1305.0948" @default.
- W4292413453 hasPublicationYear "2013" @default.
- W4292413453 type Work @default.
- W4292413453 citedByCount "0" @default.
- W4292413453 crossrefType "posted-content" @default.
- W4292413453 hasAuthorship W4292413453A5066962007 @default.
- W4292413453 hasBestOaLocation W42924134531 @default.
- W4292413453 hasConcept C104114177 @default.
- W4292413453 hasConcept C114614502 @default.
- W4292413453 hasConcept C118615104 @default.
- W4292413453 hasConcept C121332964 @default.
- W4292413453 hasConcept C129844170 @default.
- W4292413453 hasConcept C137800194 @default.
- W4292413453 hasConcept C138268822 @default.
- W4292413453 hasConcept C154945302 @default.
- W4292413453 hasConcept C16221470 @default.
- W4292413453 hasConcept C168773769 @default.
- W4292413453 hasConcept C199360897 @default.
- W4292413453 hasConcept C2524010 @default.
- W4292413453 hasConcept C2778029271 @default.
- W4292413453 hasConcept C2779557605 @default.
- W4292413453 hasConcept C33923547 @default.
- W4292413453 hasConcept C41008148 @default.
- W4292413453 hasConcept C62520636 @default.
- W4292413453 hasConcept C6943359 @default.
- W4292413453 hasConceptScore W4292413453C104114177 @default.
- W4292413453 hasConceptScore W4292413453C114614502 @default.
- W4292413453 hasConceptScore W4292413453C118615104 @default.
- W4292413453 hasConceptScore W4292413453C121332964 @default.
- W4292413453 hasConceptScore W4292413453C129844170 @default.
- W4292413453 hasConceptScore W4292413453C137800194 @default.
- W4292413453 hasConceptScore W4292413453C138268822 @default.
- W4292413453 hasConceptScore W4292413453C154945302 @default.
- W4292413453 hasConceptScore W4292413453C16221470 @default.
- W4292413453 hasConceptScore W4292413453C168773769 @default.
- W4292413453 hasConceptScore W4292413453C199360897 @default.
- W4292413453 hasConceptScore W4292413453C2524010 @default.
- W4292413453 hasConceptScore W4292413453C2778029271 @default.
- W4292413453 hasConceptScore W4292413453C2779557605 @default.
- W4292413453 hasConceptScore W4292413453C33923547 @default.
- W4292413453 hasConceptScore W4292413453C41008148 @default.
- W4292413453 hasConceptScore W4292413453C62520636 @default.
- W4292413453 hasConceptScore W4292413453C6943359 @default.
- W4292413453 hasLocation W42924134531 @default.
- W4292413453 hasOpenAccess W4292413453 @default.
- W4292413453 hasPrimaryLocation W42924134531 @default.
- W4292413453 hasRelatedWork W106113177 @default.
- W4292413453 hasRelatedWork W2067983896 @default.
- W4292413453 hasRelatedWork W2149441048 @default.
- W4292413453 hasRelatedWork W2559110068 @default.
- W4292413453 hasRelatedWork W2610304232 @default.
- W4292413453 hasRelatedWork W2963321374 @default.
- W4292413453 hasRelatedWork W2982111769 @default.
- W4292413453 hasRelatedWork W3003955588 @default.
- W4292413453 hasRelatedWork W3097893064 @default.
- W4292413453 hasRelatedWork W860315492 @default.
- W4292413453 isParatext "false" @default.
- W4292413453 isRetracted "false" @default.
- W4292413453 workType "article" @default.