Pages that link to "Item:Q670696"
From MaRDI portal
The following pages link to Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (Q670696):
Displaying 9 items.
- Two disjoint 5-holes in point sets (Q827302) (← links)
- Faradžev Read-type enumeration of non-isomorphic CC systems (Q2230397) (← links)
- Computer solution to the 17-point Erdős-Szekeres problem (Q3541568) (← links)
- Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation (Q5049007) (← links)
- A SAT attack on the Erdős-Szekeres conjecture (Q5890914) (← links)
- A SAT attack on the Erdős-Szekeres conjecture (Q5920081) (← links)
- (Q6179339) (← links)
- A SAT attack on higher dimensional Erdős-Szekeres numbers (Q6604680) (← links)
- Erdős-Szekeres-type problems in the real projective plane (Q6642299) (← links)