Matches in SemOpenAlex for { <https://semopenalex.org/work/W1646222780> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1646222780 abstract "Goerdt [Goe91] considered a weakened version of the Cutting Plane proof system with a restriction on the degree of falsity of intermediate inequalities. (The degree of falsity of an inequality written in the form ∑aixi + ∑bi(1−xi)≥A, ai,bi≥0 is its constant term A.) He proved a superpolynomial lower bound on the proof length of Tseitin-Urquhart tautologies when the degree of falsity is bounded by $frac{n}{log^2 n+1}$ (n is the number of variables).In this paper we show that if the degree of falsity of a Cutting Planes proof Π is bounded by d(n) ≤ n/2, this proof can be easily transformed into a resolution proof of length at most |∏| · (d(n)n−1)64d(n). Therefore, an exponential bound on the proof length of Tseitin-Urquhart tautologies in this system for d(n) ≤ cn for an appropriate constant c > 0 follows immediately from Urquhart's lower bound for resolution proofs [Urq87]." @default.
- W1646222780 created "2016-06-24" @default.
- W1646222780 creator A5035077817 @default.
- W1646222780 creator A5045523675 @default.
- W1646222780 date "2005-01-01" @default.
- W1646222780 modified "2023-09-26" @default.
- W1646222780 title "Simulating Cutting Plane proofs with restricted degree of falsity by Resolution" @default.
- W1646222780 cites W1528724633 @default.
- W1646222780 cites W1579379232 @default.
- W1646222780 cites W1988083342 @default.
- W1646222780 cites W2044095368 @default.
- W1646222780 cites W2069767473 @default.
- W1646222780 cites W2098022011 @default.
- W1646222780 cites W2106264302 @default.
- W1646222780 cites W2113462655 @default.
- W1646222780 cites W2133527541 @default.
- W1646222780 hasPublicationYear "2005" @default.
- W1646222780 type Work @default.
- W1646222780 sameAs 1646222780 @default.
- W1646222780 citedByCount "0" @default.
- W1646222780 crossrefType "journal-article" @default.
- W1646222780 hasAuthorship W1646222780A5035077817 @default.
- W1646222780 hasAuthorship W1646222780A5045523675 @default.
- W1646222780 hasConcept C108710211 @default.
- W1646222780 hasConcept C114614502 @default.
- W1646222780 hasConcept C118615104 @default.
- W1646222780 hasConcept C121332964 @default.
- W1646222780 hasConcept C134306372 @default.
- W1646222780 hasConcept C138268822 @default.
- W1646222780 hasConcept C138885662 @default.
- W1646222780 hasConcept C154945302 @default.
- W1646222780 hasConcept C199360897 @default.
- W1646222780 hasConcept C24890656 @default.
- W1646222780 hasConcept C2524010 @default.
- W1646222780 hasConcept C2775997480 @default.
- W1646222780 hasConcept C2777027219 @default.
- W1646222780 hasConcept C2777685122 @default.
- W1646222780 hasConcept C33923547 @default.
- W1646222780 hasConcept C34388435 @default.
- W1646222780 hasConcept C41008148 @default.
- W1646222780 hasConcept C41895202 @default.
- W1646222780 hasConcept C77553402 @default.
- W1646222780 hasConceptScore W1646222780C108710211 @default.
- W1646222780 hasConceptScore W1646222780C114614502 @default.
- W1646222780 hasConceptScore W1646222780C118615104 @default.
- W1646222780 hasConceptScore W1646222780C121332964 @default.
- W1646222780 hasConceptScore W1646222780C134306372 @default.
- W1646222780 hasConceptScore W1646222780C138268822 @default.
- W1646222780 hasConceptScore W1646222780C138885662 @default.
- W1646222780 hasConceptScore W1646222780C154945302 @default.
- W1646222780 hasConceptScore W1646222780C199360897 @default.
- W1646222780 hasConceptScore W1646222780C24890656 @default.
- W1646222780 hasConceptScore W1646222780C2524010 @default.
- W1646222780 hasConceptScore W1646222780C2775997480 @default.
- W1646222780 hasConceptScore W1646222780C2777027219 @default.
- W1646222780 hasConceptScore W1646222780C2777685122 @default.
- W1646222780 hasConceptScore W1646222780C33923547 @default.
- W1646222780 hasConceptScore W1646222780C34388435 @default.
- W1646222780 hasConceptScore W1646222780C41008148 @default.
- W1646222780 hasConceptScore W1646222780C41895202 @default.
- W1646222780 hasConceptScore W1646222780C77553402 @default.
- W1646222780 hasLocation W16462227801 @default.
- W1646222780 hasOpenAccess W1646222780 @default.
- W1646222780 hasPrimaryLocation W16462227801 @default.
- W1646222780 hasRelatedWork W129584612 @default.
- W1646222780 hasRelatedWork W141966453 @default.
- W1646222780 hasRelatedWork W1504627710 @default.
- W1646222780 hasRelatedWork W1590132050 @default.
- W1646222780 hasRelatedWork W2023788599 @default.
- W1646222780 hasRelatedWork W2043904987 @default.
- W1646222780 hasRelatedWork W2115069836 @default.
- W1646222780 hasRelatedWork W2127319845 @default.
- W1646222780 hasRelatedWork W2129501349 @default.
- W1646222780 hasRelatedWork W2129522910 @default.
- W1646222780 hasRelatedWork W2402942645 @default.
- W1646222780 hasRelatedWork W2429630190 @default.
- W1646222780 hasRelatedWork W2611922447 @default.
- W1646222780 hasRelatedWork W2946966057 @default.
- W1646222780 hasRelatedWork W2962793441 @default.
- W1646222780 hasRelatedWork W3009759485 @default.
- W1646222780 hasRelatedWork W3013848491 @default.
- W1646222780 hasRelatedWork W3198039724 @default.
- W1646222780 hasRelatedWork W360749543 @default.
- W1646222780 hasRelatedWork W3045335116 @default.
- W1646222780 isParatext "false" @default.
- W1646222780 isRetracted "false" @default.
- W1646222780 magId "1646222780" @default.
- W1646222780 workType "article" @default.