Pages that link to "Item:Q5920081"
From MaRDI portal
The following pages link to A SAT attack on the Erdős-Szekeres conjecture (Q5920081):
Displaying 7 items.
- Two disjoint 5-holes in point sets (Q827302) (← links)
- Faradžev Read-type enumeration of non-isomorphic CC systems (Q2230397) (← links)
- On orthogonal symmetric chain decompositions (Q2325764) (← links)
- Computer solution to the 17-point Erdős-Szekeres problem (Q3541568) (← links)
- A SAT attack on the Erdős-Szekeres conjecture (Q5890914) (← links)
- On orthogonal symmetric chain decompositions (Q6621189) (← links)
- On the Erdős-Tuza-Valtr conjecture (Q6655707) (← links)