Matches in SemOpenAlex for { <https://semopenalex.org/work/W2735179260> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2735179260 endingPage "23" @default.
- W2735179260 startingPage "13" @default.
- W2735179260 abstract "A classical conjecture of Erdős and Szekeres states that, for every integer k≥2, every set of 2k−2+1 points in the plane in general position contains k points in convex position. In 2006, Peters and Szekeres introduced the following stronger conjecture: every red-blue coloring of the edges of the ordered complete 3-uniform hypergraph on 2k−2+1 vertices contains an ordered subhypergraph with k vertices and k−2 edges, which is a union of a red monotone path and a blue monotone path that are vertex disjoint except for their two common end-vertices. Applying a state of art SAT solver, we refute the conjecture of Peters and Szekeres. We also apply techniques of Erdős, Tuza, and Valtr to refine the Erdős–Szekeres conjecture in order to tackle it with SAT solvers." @default.
- W2735179260 created "2017-07-21" @default.
- W2735179260 creator A5049492592 @default.
- W2735179260 creator A5072926305 @default.
- W2735179260 date "2017-12-01" @default.
- W2735179260 modified "2023-10-18" @default.
- W2735179260 title "A SAT attack on the Erdős–Szekeres conjecture" @default.
- W2735179260 cites W1973130400 @default.
- W2735179260 cites W2020316116 @default.
- W2735179260 cites W2029095819 @default.
- W2735179260 cites W2044929249 @default.
- W2735179260 cites W2196790641 @default.
- W2735179260 cites W2239826551 @default.
- W2735179260 cites W2912850616 @default.
- W2735179260 cites W3106160126 @default.
- W2735179260 doi "https://doi.org/10.1016/j.ejc.2017.06.010" @default.
- W2735179260 hasPublicationYear "2017" @default.
- W2735179260 type Work @default.
- W2735179260 sameAs 2735179260 @default.
- W2735179260 citedByCount "4" @default.
- W2735179260 countsByYear W27351792602018 @default.
- W2735179260 countsByYear W27351792602020 @default.
- W2735179260 countsByYear W27351792602021 @default.
- W2735179260 crossrefType "journal-article" @default.
- W2735179260 hasAuthorship W2735179260A5049492592 @default.
- W2735179260 hasAuthorship W2735179260A5072926305 @default.
- W2735179260 hasBestOaLocation W27351792601 @default.
- W2735179260 hasConcept C112680207 @default.
- W2735179260 hasConcept C114614502 @default.
- W2735179260 hasConcept C118615104 @default.
- W2735179260 hasConcept C132525143 @default.
- W2735179260 hasConcept C199360897 @default.
- W2735179260 hasConcept C2524010 @default.
- W2735179260 hasConcept C2777735758 @default.
- W2735179260 hasConcept C2780990831 @default.
- W2735179260 hasConcept C2781221856 @default.
- W2735179260 hasConcept C2834757 @default.
- W2735179260 hasConcept C33923547 @default.
- W2735179260 hasConcept C41008148 @default.
- W2735179260 hasConcept C45340560 @default.
- W2735179260 hasConcept C80899671 @default.
- W2735179260 hasConceptScore W2735179260C112680207 @default.
- W2735179260 hasConceptScore W2735179260C114614502 @default.
- W2735179260 hasConceptScore W2735179260C118615104 @default.
- W2735179260 hasConceptScore W2735179260C132525143 @default.
- W2735179260 hasConceptScore W2735179260C199360897 @default.
- W2735179260 hasConceptScore W2735179260C2524010 @default.
- W2735179260 hasConceptScore W2735179260C2777735758 @default.
- W2735179260 hasConceptScore W2735179260C2780990831 @default.
- W2735179260 hasConceptScore W2735179260C2781221856 @default.
- W2735179260 hasConceptScore W2735179260C2834757 @default.
- W2735179260 hasConceptScore W2735179260C33923547 @default.
- W2735179260 hasConceptScore W2735179260C41008148 @default.
- W2735179260 hasConceptScore W2735179260C45340560 @default.
- W2735179260 hasConceptScore W2735179260C80899671 @default.
- W2735179260 hasLocation W27351792601 @default.
- W2735179260 hasOpenAccess W2735179260 @default.
- W2735179260 hasPrimaryLocation W27351792601 @default.
- W2735179260 hasRelatedWork W1515003046 @default.
- W2735179260 hasRelatedWork W1581136457 @default.
- W2735179260 hasRelatedWork W2766457447 @default.
- W2735179260 hasRelatedWork W2892261132 @default.
- W2735179260 hasRelatedWork W2952208190 @default.
- W2735179260 hasRelatedWork W3216169553 @default.
- W2735179260 hasRelatedWork W4286851273 @default.
- W2735179260 hasRelatedWork W4289542832 @default.
- W2735179260 hasRelatedWork W4296581269 @default.
- W2735179260 hasRelatedWork W4366828361 @default.
- W2735179260 hasVolume "66" @default.
- W2735179260 isParatext "false" @default.
- W2735179260 isRetracted "false" @default.
- W2735179260 magId "2735179260" @default.
- W2735179260 workType "article" @default.