Matches in SemOpenAlex for { <https://semopenalex.org/work/W1522816367> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1522816367 endingPage "362" @default.
- W1522816367 startingPage "352" @default.
- W1522816367 abstract "We aim at using the problems from exact Ramsey theory, concerned with computing Ramsey-type numbers, as a rich source of test problems for SAT solving, targeting especially hard problems. Particularly we consider the links between Ramsey theory in the integers, based on van der Waerden’s theorem, and (boolean, CNF) SAT solving. Based on Green-Tao’s theorem (“the primes contain arbitrarily long arithmetic progressions”) we introduce the Green-Tao numbers grt m k 1, ..., k m , which in a sense combine the strict structure of van der Waerden problems with the quasi-randomness of the distribution of prime numbers. In general the problem sizes become quickly infeasible here, but we show that for transversal extensions these numbers only grow linearly, thus having a method at hand to produce more problem instances of feasible sizes. Using standard SAT solvers (look-ahead, conflict-driven, and local search) we determine the basic Green-Tao numbers. It turns out that already for this single case of a Ramsey-type problem, when considering the best-performing solvers a wide variety of solver types is covered. This is different to van der Waerden problems, where apparently only simple look-ahead solvers succeed (regarding complete methods). For m > 2 the problems are non-boolean, and we introduce the generic translation scheme for translating non-boolean clause-sets to boolean clause-set. This general method offers an infinite variety of translations (“encodings”) and covers the known methods. In most cases the special instance called nested translation proved to be far superior over its competitors (including the direct translation)." @default.
- W1522816367 created "2016-06-24" @default.
- W1522816367 creator A5073035961 @default.
- W1522816367 date "2010-01-01" @default.
- W1522816367 modified "2023-10-12" @default.
- W1522816367 title "Green-Tao Numbers and SAT" @default.
- W1522816367 cites W1511662047 @default.
- W1522816367 cites W1518705996 @default.
- W1522816367 cites W1522816367 @default.
- W1522816367 cites W1546338010 @default.
- W1522816367 cites W1900663752 @default.
- W1522816367 cites W2015013677 @default.
- W1522816367 cites W2021144815 @default.
- W1522816367 cites W2056897909 @default.
- W1522816367 cites W2097673562 @default.
- W1522816367 cites W2167913911 @default.
- W1522816367 cites W2322962730 @default.
- W1522816367 cites W2950654313 @default.
- W1522816367 doi "https://doi.org/10.1007/978-3-642-14186-7_32" @default.
- W1522816367 hasPublicationYear "2010" @default.
- W1522816367 type Work @default.
- W1522816367 sameAs 1522816367 @default.
- W1522816367 citedByCount "17" @default.
- W1522816367 countsByYear W15228163672012 @default.
- W1522816367 countsByYear W15228163672013 @default.
- W1522816367 countsByYear W15228163672016 @default.
- W1522816367 countsByYear W15228163672017 @default.
- W1522816367 countsByYear W15228163672018 @default.
- W1522816367 countsByYear W15228163672019 @default.
- W1522816367 crossrefType "book-chapter" @default.
- W1522816367 hasAuthorship W1522816367A5073035961 @default.
- W1522816367 hasBestOaLocation W15228163672 @default.
- W1522816367 hasConcept C105795698 @default.
- W1522816367 hasConcept C111472728 @default.
- W1522816367 hasConcept C112291201 @default.
- W1522816367 hasConcept C114614502 @default.
- W1522816367 hasConcept C116493835 @default.
- W1522816367 hasConcept C118615104 @default.
- W1522816367 hasConcept C132525143 @default.
- W1522816367 hasConcept C136197465 @default.
- W1522816367 hasConcept C138885662 @default.
- W1522816367 hasConcept C2780586882 @default.
- W1522816367 hasConcept C33923547 @default.
- W1522816367 hasConcept C44115641 @default.
- W1522816367 hasConcept C6943359 @default.
- W1522816367 hasConceptScore W1522816367C105795698 @default.
- W1522816367 hasConceptScore W1522816367C111472728 @default.
- W1522816367 hasConceptScore W1522816367C112291201 @default.
- W1522816367 hasConceptScore W1522816367C114614502 @default.
- W1522816367 hasConceptScore W1522816367C116493835 @default.
- W1522816367 hasConceptScore W1522816367C118615104 @default.
- W1522816367 hasConceptScore W1522816367C132525143 @default.
- W1522816367 hasConceptScore W1522816367C136197465 @default.
- W1522816367 hasConceptScore W1522816367C138885662 @default.
- W1522816367 hasConceptScore W1522816367C2780586882 @default.
- W1522816367 hasConceptScore W1522816367C33923547 @default.
- W1522816367 hasConceptScore W1522816367C44115641 @default.
- W1522816367 hasConceptScore W1522816367C6943359 @default.
- W1522816367 hasLocation W15228163671 @default.
- W1522816367 hasLocation W15228163672 @default.
- W1522816367 hasLocation W15228163673 @default.
- W1522816367 hasOpenAccess W1522816367 @default.
- W1522816367 hasPrimaryLocation W15228163671 @default.
- W1522816367 hasRelatedWork W1518708168 @default.
- W1522816367 hasRelatedWork W1979936864 @default.
- W1522816367 hasRelatedWork W2092296749 @default.
- W1522816367 hasRelatedWork W2160990703 @default.
- W1522816367 hasRelatedWork W2186066493 @default.
- W1522816367 hasRelatedWork W2271972529 @default.
- W1522816367 hasRelatedWork W2914945148 @default.
- W1522816367 hasRelatedWork W2952114041 @default.
- W1522816367 hasRelatedWork W3103061302 @default.
- W1522816367 hasRelatedWork W4317930177 @default.
- W1522816367 isParatext "false" @default.
- W1522816367 isRetracted "false" @default.
- W1522816367 magId "1522816367" @default.
- W1522816367 workType "book-chapter" @default.