FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601301932> ?p ?o ?g. }

• W1601301932 endingPage "639" @default.
• W1601301932 startingPage "623" @default.
• W1601301932 abstract "The evaluation of incomplete satisfiability solvers depends critically on the availability of hard satisfiable instances. A plausible source of such instances consists of random k-SAT formulas whose clauses are chosen uniformly from among all clauses satisfying some randomly chosen truth assignment A. Unfortunately, instances generated in this manner tend to be relatively easy and can be solved efficiently by practical heuristics. Roughly speaking, for a number of different algorithms, A acts as a stronger and stronger attractor as the formula's density increases. Motivated by recent results on the geometry of the space of satisfying truth assignments of random k-SAT and NAE-k-SAT formulas, we introduce a simple twist on this basic model, which appears to dramatically increase its hardness. Namely, in addition to forbidding the clauses violated by the hidden assignment A, we also forbid the clauses violated by its complement, so that both A and compliment of A are satisfying. It appears that under this symmetrization the effects of the two attractors largely cancel out, making it much harder for algorithms to find any truth assignment. We give theoretical and experimental evidence supporting this assertion." @default.
• W1601301932 created "2016-06-24" @default.
• W1601301932 creator A5008033989 @default.
• W1601301932 creator A5021300666 @default.
• W1601301932 creator A5055103404 @default.
• W1601301932 date "2005-11-03" @default.
• W1601301932 modified "2023-10-12" @default.
• W1601301932 title "Hiding Satisfying Assignments: Two are Better than One" @default.
• W1601301932 cites W13289598 @default.
• W1601301932 cites W14839205 @default.
• W1601301932 cites W1556130451 @default.
• W1601301932 cites W1561953468 @default.
• W1601301932 cites W1619771112 @default.
• W1601301932 cites W1620410031 @default.
• W1601301932 cites W165268098 @default.
• W1601301932 cites W1971493102 @default.
• W1601301932 cites W1979720612 @default.
• W1601301932 cites W2000931246 @default.
• W1601301932 cites W2017127020 @default.
• W1601301932 cites W2023622935 @default.
• W1601301932 cites W2055911890 @default.
• W1601301932 cites W2088419249 @default.
• W1601301932 cites W2108446739 @default.
• W1601301932 cites W2128193809 @default.
• W1601301932 cites W2136558174 @default.
• W1601301932 cites W2142785340 @default.
• W1601301932 cites W2143404729 @default.
• W1601301932 cites W2157280385 @default.
• W1601301932 cites W2164346692 @default.
• W1601301932 cites W2165796899 @default.
• W1601301932 cites W2407714145 @default.
• W1601301932 cites W4983232 @default.
• W1601301932 cites W67367170 @default.
• W1601301932 cites W2611454273 @default.
• W1601301932 cites W87522332 @default.
• W1601301932 doi "https://doi.org/10.1613/jair.1681" @default.
• W1601301932 hasPublicationYear "2005" @default.
• W1601301932 type Work @default.
• W1601301932 sameAs 1601301932 @default.
• W1601301932 citedByCount "23" @default.
• W1601301932 countsByYear W16013019322012 @default.
• W1601301932 countsByYear W16013019322013 @default.
• W1601301932 countsByYear W16013019322014 @default.
• W1601301932 countsByYear W16013019322015 @default.
• W1601301932 countsByYear W16013019322017 @default.
• W1601301932 countsByYear W16013019322018 @default.
• W1601301932 countsByYear W16013019322019 @default.
• W1601301932 countsByYear W16013019322020 @default.
• W1601301932 countsByYear W16013019322021 @default.
• W1601301932 countsByYear W16013019322022 @default.
• W1601301932 crossrefType "journal-article" @default.
• W1601301932 hasAuthorship W1601301932A5008033989 @default.
• W1601301932 hasAuthorship W1601301932A5021300666 @default.
• W1601301932 hasAuthorship W1601301932A5055103404 @default.
• W1601301932 hasBestOaLocation W16013019321 @default.
• W1601301932 hasConcept C104317684 @default.
• W1601301932 hasConcept C111472728 @default.
• W1601301932 hasConcept C111919701 @default.
• W1601301932 hasConcept C112313634 @default.
• W1601301932 hasConcept C11413529 @default.
• W1601301932 hasConcept C114614502 @default.
• W1601301932 hasConcept C118615104 @default.
• W1601301932 hasConcept C126255220 @default.
• W1601301932 hasConcept C127705205 @default.
• W1601301932 hasConcept C127716648 @default.
• W1601301932 hasConcept C138885662 @default.
• W1601301932 hasConcept C168773769 @default.
• W1601301932 hasConcept C185592680 @default.
• W1601301932 hasConcept C188082640 @default.
• W1601301932 hasConcept C199360897 @default.
• W1601301932 hasConcept C2524010 @default.
• W1601301932 hasConcept C2776036281 @default.
• W1601301932 hasConcept C2778572836 @default.
• W1601301932 hasConcept C2780586882 @default.
• W1601301932 hasConcept C33923547 @default.
• W1601301932 hasConcept C40422974 @default.
• W1601301932 hasConcept C41008148 @default.
• W1601301932 hasConcept C55493867 @default.
• W1601301932 hasConcept C64999384 @default.
• W1601301932 hasConcept C6943359 @default.
• W1601301932 hasConcept C80444323 @default.
• W1601301932 hasConceptScore W1601301932C104317684 @default.
• W1601301932 hasConceptScore W1601301932C111472728 @default.
• W1601301932 hasConceptScore W1601301932C111919701 @default.
• W1601301932 hasConceptScore W1601301932C112313634 @default.
• W1601301932 hasConceptScore W1601301932C11413529 @default.
• W1601301932 hasConceptScore W1601301932C114614502 @default.
• W1601301932 hasConceptScore W1601301932C118615104 @default.
• W1601301932 hasConceptScore W1601301932C126255220 @default.
• W1601301932 hasConceptScore W1601301932C127705205 @default.
• W1601301932 hasConceptScore W1601301932C127716648 @default.
• W1601301932 hasConceptScore W1601301932C138885662 @default.
• W1601301932 hasConceptScore W1601301932C168773769 @default.
• W1601301932 hasConceptScore W1601301932C185592680 @default.
• W1601301932 hasConceptScore W1601301932C188082640 @default.
• W1601301932 hasConceptScore W1601301932C199360897 @default.
• W1601301932 hasConceptScore W1601301932C2524010 @default.
• W1601301932 hasConceptScore W1601301932C2776036281 @default.

• next