A SAT attack on higher dimensional Erdős-Szekeres numbers
From MaRDI portal
Publication:6604680
DOI10.1007/978-3-030-83823-2_17MaRDI QIDQ6604680FDOQ6604680
Authors: Manfred Scheucher 
Publication date: 13 September 2024
computer-assisted proofchirotopeBoolean satisfiability (SAT)Erdös-Szekeres theoremhigher dimensional point set
Cites Work
- DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
- Oriented Matroids
- Title not available (Why is that?)
- Konvexe Fünfecke in ebenen Punktmengen
- The empty hexagon theorem
- Empty convex hexagons in planar point sets
- Title not available (Why is that?)
- Computer solution to the 17-point Erdős-Szekeres problem
- Sets with No Empty Convex 7-Gons
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Erdos-Szekeres problem on points in convex position – a survey
- Point configurations in \(d\)-space without large subsets in convex position
- Ramsey-remainder for convex sets and the Erdős-Szekeres theorem
- On empty convex polytopes
- Finding sets of points without empty convex 6-gons
- On the Erdős-Szekeres convex polygon problem
- Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points
- Two disjoint 5-holes in point sets
- Sets in \(\mathbb{R}^ d\) with no large empty convex subsets
- Some Erdős-Szekeres type results about points in space
- Two extensions of the Erdős-Szekeres problem
- Title not available (Why is that?)
Cited In (1)
This page was built for publication: A SAT attack on higher dimensional Erdős-Szekeres numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6604680)
