Matches in SemOpenAlex for { <https://semopenalex.org/work/W2253824189> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2253824189 abstract "We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order logic formulae concerning some sets of multisets of uniform cardinality over boolean variables would prove the Erdos-Szekeres conjecture, which states that for any set of 2^(n-2)+1 points in general position, there exists n points forming a convex polygon, where n is greater than or equal to 3." @default.
- W2253824189 created "2016-06-24" @default.
- W2253824189 creator A5049165344 @default.
- W2253824189 date "2015-11-07" @default.
- W2253824189 modified "2023-09-27" @default.
- W2253824189 title "A weak reduction of the Erdos-Szekeres conjecture into a constraint unsatisfiability problem regarding certain multisets" @default.
- W2253824189 hasPublicationYear "2015" @default.
- W2253824189 type Work @default.
- W2253824189 sameAs 2253824189 @default.
- W2253824189 citedByCount "0" @default.
- W2253824189 crossrefType "posted-content" @default.
- W2253824189 hasAuthorship W2253824189A5049165344 @default.
- W2253824189 hasConcept C10138342 @default.
- W2253824189 hasConcept C111335779 @default.
- W2253824189 hasConcept C112680207 @default.
- W2253824189 hasConcept C114614502 @default.
- W2253824189 hasConcept C118615104 @default.
- W2253824189 hasConcept C124101348 @default.
- W2253824189 hasConcept C126042441 @default.
- W2253824189 hasConcept C129782007 @default.
- W2253824189 hasConcept C150397156 @default.
- W2253824189 hasConcept C162324750 @default.
- W2253824189 hasConcept C177264268 @default.
- W2253824189 hasConcept C17825722 @default.
- W2253824189 hasConcept C190694206 @default.
- W2253824189 hasConcept C198082294 @default.
- W2253824189 hasConcept C199360897 @default.
- W2253824189 hasConcept C2524010 @default.
- W2253824189 hasConcept C2776036281 @default.
- W2253824189 hasConcept C2780990831 @default.
- W2253824189 hasConcept C28719098 @default.
- W2253824189 hasConcept C33923547 @default.
- W2253824189 hasConcept C41008148 @default.
- W2253824189 hasConcept C76155785 @default.
- W2253824189 hasConcept C87117476 @default.
- W2253824189 hasConceptScore W2253824189C10138342 @default.
- W2253824189 hasConceptScore W2253824189C111335779 @default.
- W2253824189 hasConceptScore W2253824189C112680207 @default.
- W2253824189 hasConceptScore W2253824189C114614502 @default.
- W2253824189 hasConceptScore W2253824189C118615104 @default.
- W2253824189 hasConceptScore W2253824189C124101348 @default.
- W2253824189 hasConceptScore W2253824189C126042441 @default.
- W2253824189 hasConceptScore W2253824189C129782007 @default.
- W2253824189 hasConceptScore W2253824189C150397156 @default.
- W2253824189 hasConceptScore W2253824189C162324750 @default.
- W2253824189 hasConceptScore W2253824189C177264268 @default.
- W2253824189 hasConceptScore W2253824189C17825722 @default.
- W2253824189 hasConceptScore W2253824189C190694206 @default.
- W2253824189 hasConceptScore W2253824189C198082294 @default.
- W2253824189 hasConceptScore W2253824189C199360897 @default.
- W2253824189 hasConceptScore W2253824189C2524010 @default.
- W2253824189 hasConceptScore W2253824189C2776036281 @default.
- W2253824189 hasConceptScore W2253824189C2780990831 @default.
- W2253824189 hasConceptScore W2253824189C28719098 @default.
- W2253824189 hasConceptScore W2253824189C33923547 @default.
- W2253824189 hasConceptScore W2253824189C41008148 @default.
- W2253824189 hasConceptScore W2253824189C76155785 @default.
- W2253824189 hasConceptScore W2253824189C87117476 @default.
- W2253824189 hasLocation W22538241891 @default.
- W2253824189 hasOpenAccess W2253824189 @default.
- W2253824189 hasPrimaryLocation W22538241891 @default.
- W2253824189 hasRelatedWork W1518708168 @default.
- W2253824189 hasRelatedWork W1602553083 @default.
- W2253824189 hasRelatedWork W2102107640 @default.
- W2253824189 hasRelatedWork W2117660206 @default.
- W2253824189 hasRelatedWork W2124364203 @default.
- W2253824189 hasRelatedWork W2143404729 @default.
- W2253824189 hasRelatedWork W2285292888 @default.
- W2253824189 hasRelatedWork W2574497079 @default.
- W2253824189 hasRelatedWork W2579583840 @default.
- W2253824189 hasRelatedWork W2773672504 @default.
- W2253824189 hasRelatedWork W2810215715 @default.
- W2253824189 hasRelatedWork W2963460324 @default.
- W2253824189 hasRelatedWork W2963819821 @default.
- W2253824189 hasRelatedWork W2991838776 @default.
- W2253824189 hasRelatedWork W3000895154 @default.
- W2253824189 hasRelatedWork W3033804366 @default.
- W2253824189 hasRelatedWork W3196550748 @default.
- W2253824189 hasRelatedWork W3208572847 @default.
- W2253824189 hasRelatedWork W4514142 @default.
- W2253824189 hasRelatedWork W73004332 @default.
- W2253824189 isParatext "false" @default.
- W2253824189 isRetracted "false" @default.
- W2253824189 magId "2253824189" @default.
- W2253824189 workType "article" @default.