Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016887704> ?p ?o ?g. }
- W3016887704 abstract "We show that Cutting Planes (CP) proofs are hard to find: Given an unsatisfiable formula $F$, 1) It is NP-hard to find a CP refutation of $F$ in time polynomial in the length of the shortest such refutation; and 2)unless Gap-Hitting-Set admits a nontrivial algorithm, one cannot find a tree-like CP refutation of $F$ in time polynomial in the length of the shortest such refutation. The first result extends the recent breakthrough of Atserias and Muller (FOCS 2019) that established an analogous result for Resolution. Our proofs rely on two new lifting theorems: (1) Dag-like lifting for gadgets with many output bits. (2) Tree-like lifting that simulates an $r$-round protocol with gadgets of query complexity $O(log r)$ independent of input length." @default.
- W3016887704 created "2020-04-24" @default.
- W3016887704 creator A5003318200 @default.
- W3016887704 creator A5015894874 @default.
- W3016887704 creator A5030492623 @default.
- W3016887704 creator A5065903790 @default.
- W3016887704 date "2020-04-17" @default.
- W3016887704 modified "2023-09-27" @default.
- W3016887704 title "Automating Cutting Planes is NP-Hard}" @default.
- W3016887704 cites W1567308215 @default.
- W3016887704 cites W1814032955 @default.
- W3016887704 cites W1924552658 @default.
- W3016887704 cites W1970193303 @default.
- W3016887704 cites W1985572324 @default.
- W3016887704 cites W1999069928 @default.
- W3016887704 cites W2006906201 @default.
- W3016887704 cites W2021972008 @default.
- W3016887704 cites W2034266713 @default.
- W3016887704 cites W2037611290 @default.
- W3016887704 cites W2044095368 @default.
- W3016887704 cites W2044632231 @default.
- W3016887704 cites W2047237020 @default.
- W3016887704 cites W2054013713 @default.
- W3016887704 cites W2068363706 @default.
- W3016887704 cites W2083193613 @default.
- W3016887704 cites W2084384424 @default.
- W3016887704 cites W2093224650 @default.
- W3016887704 cites W2098022011 @default.
- W3016887704 cites W2129413084 @default.
- W3016887704 cites W2132489129 @default.
- W3016887704 cites W2142326240 @default.
- W3016887704 cites W2152390092 @default.
- W3016887704 cites W2153159703 @default.
- W3016887704 cites W2158029166 @default.
- W3016887704 cites W2220094226 @default.
- W3016887704 cites W2563018125 @default.
- W3016887704 cites W2583114560 @default.
- W3016887704 cites W2594565427 @default.
- W3016887704 cites W2768379587 @default.
- W3016887704 cites W2768698559 @default.
- W3016887704 cites W2768857456 @default.
- W3016887704 cites W2773609948 @default.
- W3016887704 cites W2809677183 @default.
- W3016887704 cites W2897781990 @default.
- W3016887704 cites W2914732100 @default.
- W3016887704 cites W2955659726 @default.
- W3016887704 cites W2964642894 @default.
- W3016887704 cites W2969433745 @default.
- W3016887704 cites W2972093011 @default.
- W3016887704 cites W2996640527 @default.
- W3016887704 cites W3004119281 @default.
- W3016887704 cites W3014805183 @default.
- W3016887704 cites W3022335368 @default.
- W3016887704 cites W3029612892 @default.
- W3016887704 cites W3129102708 @default.
- W3016887704 cites W3130516212 @default.
- W3016887704 cites W3137706500 @default.
- W3016887704 hasPublicationYear "2020" @default.
- W3016887704 type Work @default.
- W3016887704 sameAs 3016887704 @default.
- W3016887704 citedByCount "0" @default.
- W3016887704 crossrefType "posted-content" @default.
- W3016887704 hasAuthorship W3016887704A5003318200 @default.
- W3016887704 hasAuthorship W3016887704A5015894874 @default.
- W3016887704 hasAuthorship W3016887704A5030492623 @default.
- W3016887704 hasAuthorship W3016887704A5065903790 @default.
- W3016887704 hasConcept C108710211 @default.
- W3016887704 hasConcept C113174947 @default.
- W3016887704 hasConcept C114614502 @default.
- W3016887704 hasConcept C118615104 @default.
- W3016887704 hasConcept C134306372 @default.
- W3016887704 hasConcept C138268822 @default.
- W3016887704 hasConcept C154945302 @default.
- W3016887704 hasConcept C177264268 @default.
- W3016887704 hasConcept C199360897 @default.
- W3016887704 hasConcept C2524010 @default.
- W3016887704 hasConcept C311688 @default.
- W3016887704 hasConcept C33923547 @default.
- W3016887704 hasConcept C41008148 @default.
- W3016887704 hasConcept C90119067 @default.
- W3016887704 hasConceptScore W3016887704C108710211 @default.
- W3016887704 hasConceptScore W3016887704C113174947 @default.
- W3016887704 hasConceptScore W3016887704C114614502 @default.
- W3016887704 hasConceptScore W3016887704C118615104 @default.
- W3016887704 hasConceptScore W3016887704C134306372 @default.
- W3016887704 hasConceptScore W3016887704C138268822 @default.
- W3016887704 hasConceptScore W3016887704C154945302 @default.
- W3016887704 hasConceptScore W3016887704C177264268 @default.
- W3016887704 hasConceptScore W3016887704C199360897 @default.
- W3016887704 hasConceptScore W3016887704C2524010 @default.
- W3016887704 hasConceptScore W3016887704C311688 @default.
- W3016887704 hasConceptScore W3016887704C33923547 @default.
- W3016887704 hasConceptScore W3016887704C41008148 @default.
- W3016887704 hasConceptScore W3016887704C90119067 @default.
- W3016887704 hasLocation W30168877041 @default.
- W3016887704 hasOpenAccess W3016887704 @default.
- W3016887704 hasPrimaryLocation W30168877041 @default.
- W3016887704 hasRelatedWork W1699753700 @default.
- W3016887704 hasRelatedWork W1998964055 @default.
- W3016887704 hasRelatedWork W2001663593 @default.