Matches in SemOpenAlex for { <https://semopenalex.org/work/W106496295> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W106496295 endingPage "1874" @default.
- W106496295 startingPage "1873" @default.
- W106496295 abstract "Recent years have witnessed rapid progress both in the foundations of and in applying state-of-art solvers for the propositional satisfiability problem (SAT). The study of sources for hard SAT instances is motivated by the need for interesting benchmarks for solver development and on the other hand by theoretical analysis of different proof systems. In this respect satisfiable instance families are especially interesting. In contrast to unsatisfiable instance families, there are few theoretical results for satisfiable formulas (Alekhnovich, Hirsch, & Itsykson); for the successful DPLL method, restricted heuristics need to be considered. While real-world problems serve as best benchmark instances in many sense, such instances are typically very large and unavailable in abundance. More “artificial” empirically hard satisfiable CNF families include (see references therein for more) regular random k-SAT (Boufkhad et al.), encodings of quasi-group completion (Achlioptas et al. 2000), XORSAT models inspired by statistical physics (Ricci-Tersenghi, Weight, & Zecchina 2001; Jia, Moore, & Selman 2005), and the regular XORSAT model (Haanpaa et al. 2006) motivated by expansion properties of random regular bipartite graphs. Experimental comparison with other available generators for notably hard satisfiable 3-CNF formulas shows that the regular XORSAT model gives extremely hard instances for state-of-the art clausal SAT solvers (Haanpaa et al. 2006). In this paper we generalize the regular XORSAT model for k > 3, and investigate how this relates to the hardness of the instances. By increasing the degree of the underlying regular constraint graphs, we observe a sharp increase in problem difficulty with respect to the number of variables, motivating further analysis of regular XORSAT." @default.
- W106496295 created "2016-06-24" @default.
- W106496295 creator A5081120128 @default.
- W106496295 date "2006-07-16" @default.
- W106496295 modified "2023-09-25" @default.
- W106496295 title "Further investigations into regular XORSAT" @default.
- W106496295 cites W1508206977 @default.
- W106496295 cites W1518056084 @default.
- W106496295 cites W1987851683 @default.
- W106496295 cites W2124624165 @default.
- W106496295 cites W2149719182 @default.
- W106496295 cites W2157280385 @default.
- W106496295 cites W2157661807 @default.
- W106496295 cites W2798401172 @default.
- W106496295 hasPublicationYear "2006" @default.
- W106496295 type Work @default.
- W106496295 sameAs 106496295 @default.
- W106496295 citedByCount "5" @default.
- W106496295 crossrefType "proceedings-article" @default.
- W106496295 hasAuthorship W106496295A5081120128 @default.
- W106496295 hasConcept C111919701 @default.
- W106496295 hasConcept C118615104 @default.
- W106496295 hasConcept C12707504 @default.
- W106496295 hasConcept C127705205 @default.
- W106496295 hasConcept C13280743 @default.
- W106496295 hasConcept C134652429 @default.
- W106496295 hasConcept C143936061 @default.
- W106496295 hasConcept C154945302 @default.
- W106496295 hasConcept C168773769 @default.
- W106496295 hasConcept C185798385 @default.
- W106496295 hasConcept C199622910 @default.
- W106496295 hasConcept C205649164 @default.
- W106496295 hasConcept C33923547 @default.
- W106496295 hasConcept C41008148 @default.
- W106496295 hasConcept C49937458 @default.
- W106496295 hasConcept C69562738 @default.
- W106496295 hasConcept C76155785 @default.
- W106496295 hasConcept C80444323 @default.
- W106496295 hasConceptScore W106496295C111919701 @default.
- W106496295 hasConceptScore W106496295C118615104 @default.
- W106496295 hasConceptScore W106496295C12707504 @default.
- W106496295 hasConceptScore W106496295C127705205 @default.
- W106496295 hasConceptScore W106496295C13280743 @default.
- W106496295 hasConceptScore W106496295C134652429 @default.
- W106496295 hasConceptScore W106496295C143936061 @default.
- W106496295 hasConceptScore W106496295C154945302 @default.
- W106496295 hasConceptScore W106496295C168773769 @default.
- W106496295 hasConceptScore W106496295C185798385 @default.
- W106496295 hasConceptScore W106496295C199622910 @default.
- W106496295 hasConceptScore W106496295C205649164 @default.
- W106496295 hasConceptScore W106496295C33923547 @default.
- W106496295 hasConceptScore W106496295C41008148 @default.
- W106496295 hasConceptScore W106496295C49937458 @default.
- W106496295 hasConceptScore W106496295C69562738 @default.
- W106496295 hasConceptScore W106496295C76155785 @default.
- W106496295 hasConceptScore W106496295C80444323 @default.
- W106496295 hasLocation W1064962951 @default.
- W106496295 hasOpenAccess W106496295 @default.
- W106496295 hasPrimaryLocation W1064962951 @default.
- W106496295 hasRelatedWork W1203917381 @default.
- W106496295 hasRelatedWork W1499043148 @default.
- W106496295 hasRelatedWork W1518705996 @default.
- W106496295 hasRelatedWork W1574362647 @default.
- W106496295 hasRelatedWork W1815010250 @default.
- W106496295 hasRelatedWork W1875932723 @default.
- W106496295 hasRelatedWork W1950282396 @default.
- W106496295 hasRelatedWork W2037935414 @default.
- W106496295 hasRelatedWork W2071639741 @default.
- W106496295 hasRelatedWork W2116648056 @default.
- W106496295 hasRelatedWork W2157280385 @default.
- W106496295 hasRelatedWork W2157661807 @default.
- W106496295 hasRelatedWork W2376287672 @default.
- W106496295 hasRelatedWork W2560234512 @default.
- W106496295 hasRelatedWork W2803654607 @default.
- W106496295 hasRelatedWork W2912606985 @default.
- W106496295 hasRelatedWork W3023742384 @default.
- W106496295 hasRelatedWork W3033077517 @default.
- W106496295 hasRelatedWork W3143826624 @default.
- W106496295 hasRelatedWork W3176904788 @default.
- W106496295 isParatext "false" @default.
- W106496295 isRetracted "false" @default.
- W106496295 magId "106496295" @default.
- W106496295 workType "article" @default.