Matches in SemOpenAlex for { <https://semopenalex.org/work/W3116741339> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3116741339 startingPage "13" @default.
- W3116741339 abstract "We construct uniquely satisfiable k-CNF formulas that are hard for the algorithm, the currently best known algorithm solving k-SAT. This algorithm tries to generate a satisfying assignment by picking a random variable at a time and attempting to derive its value using some inference heuristic and otherwise assigning a random value. The PPSZ checks all subformulas of a given size to derive a value and the PPSZ runs resolution with width bounded by some given function. Firstly, we construct graph-instances on which PPSZ has savings of at most (2 + epsilon)/k; the saving of an algorithm on an input formula with n variables is the largest gamma such that the algorithm succeeds (i.e. finds a satisfying assignment) with probability at least 2^{- (1 - gamma) n}. Since (both weak and strong) is known to have savings of at least (pi^2 + o(1))/6k, this is optimal up to the constant factor. In particular, for k=3, our upper bound is 2^{0.333... n}, which is fairly close to the lower bound 2^{0.386... n} of Hertli [SIAM J. Comput.'14]. We also construct instances based on linear systems over F_2 for which strong has savings of at most O(log(k)/k). This is only a log(k) factor away from the optimal bound. Our constructions improve previous savings upper bound of O((log^2(k))/k) due to Chen et al. [SODA'13]." @default.
- W3116741339 created "2021-01-05" @default.
- W3116741339 creator A5019353955 @default.
- W3116741339 creator A5034846265 @default.
- W3116741339 creator A5064016105 @default.
- W3116741339 date "2017-01-01" @default.
- W3116741339 modified "2023-09-26" @default.
- W3116741339 title "Tighter Hard Instances for PPSZ" @default.
- W3116741339 hasPublicationYear "2017" @default.
- W3116741339 type Work @default.
- W3116741339 sameAs 3116741339 @default.
- W3116741339 citedByCount "2" @default.
- W3116741339 countsByYear W31167413392019 @default.
- W3116741339 countsByYear W31167413392021 @default.
- W3116741339 crossrefType "proceedings-article" @default.
- W3116741339 hasAuthorship W3116741339A5019353955 @default.
- W3116741339 hasAuthorship W3116741339A5034846265 @default.
- W3116741339 hasAuthorship W3116741339A5064016105 @default.
- W3116741339 hasConcept C105795698 @default.
- W3116741339 hasConcept C11413529 @default.
- W3116741339 hasConcept C114614502 @default.
- W3116741339 hasConcept C118615104 @default.
- W3116741339 hasConcept C122123141 @default.
- W3116741339 hasConcept C134306372 @default.
- W3116741339 hasConcept C14036430 @default.
- W3116741339 hasConcept C199360897 @default.
- W3116741339 hasConcept C2776291640 @default.
- W3116741339 hasConcept C2777027219 @default.
- W3116741339 hasConcept C33923547 @default.
- W3116741339 hasConcept C34388435 @default.
- W3116741339 hasConcept C41008148 @default.
- W3116741339 hasConcept C63553672 @default.
- W3116741339 hasConcept C77553402 @default.
- W3116741339 hasConcept C78458016 @default.
- W3116741339 hasConcept C86803240 @default.
- W3116741339 hasConceptScore W3116741339C105795698 @default.
- W3116741339 hasConceptScore W3116741339C11413529 @default.
- W3116741339 hasConceptScore W3116741339C114614502 @default.
- W3116741339 hasConceptScore W3116741339C118615104 @default.
- W3116741339 hasConceptScore W3116741339C122123141 @default.
- W3116741339 hasConceptScore W3116741339C134306372 @default.
- W3116741339 hasConceptScore W3116741339C14036430 @default.
- W3116741339 hasConceptScore W3116741339C199360897 @default.
- W3116741339 hasConceptScore W3116741339C2776291640 @default.
- W3116741339 hasConceptScore W3116741339C2777027219 @default.
- W3116741339 hasConceptScore W3116741339C33923547 @default.
- W3116741339 hasConceptScore W3116741339C34388435 @default.
- W3116741339 hasConceptScore W3116741339C41008148 @default.
- W3116741339 hasConceptScore W3116741339C63553672 @default.
- W3116741339 hasConceptScore W3116741339C77553402 @default.
- W3116741339 hasConceptScore W3116741339C78458016 @default.
- W3116741339 hasConceptScore W3116741339C86803240 @default.
- W3116741339 hasLocation W31167413391 @default.
- W3116741339 hasOpenAccess W3116741339 @default.
- W3116741339 hasPrimaryLocation W31167413391 @default.
- W3116741339 hasRelatedWork W1577299745 @default.
- W3116741339 hasRelatedWork W2071318745 @default.
- W3116741339 hasRelatedWork W2106984527 @default.
- W3116741339 hasRelatedWork W2274447119 @default.
- W3116741339 hasRelatedWork W2552717912 @default.
- W3116741339 hasRelatedWork W2757545232 @default.
- W3116741339 hasRelatedWork W2945408305 @default.
- W3116741339 hasRelatedWork W2950485803 @default.
- W3116741339 hasRelatedWork W2952016169 @default.
- W3116741339 hasRelatedWork W2952900072 @default.
- W3116741339 hasRelatedWork W2957416585 @default.
- W3116741339 hasRelatedWork W2963923487 @default.
- W3116741339 hasRelatedWork W2963957639 @default.
- W3116741339 hasRelatedWork W2964273566 @default.
- W3116741339 hasRelatedWork W2969832362 @default.
- W3116741339 hasRelatedWork W3001868306 @default.
- W3116741339 hasRelatedWork W3083108821 @default.
- W3116741339 hasRelatedWork W3126429899 @default.
- W3116741339 hasRelatedWork W3171822569 @default.
- W3116741339 hasRelatedWork W3204338120 @default.
- W3116741339 hasVolume "80" @default.
- W3116741339 isParatext "false" @default.
- W3116741339 isRetracted "false" @default.
- W3116741339 magId "3116741339" @default.
- W3116741339 workType "article" @default.