| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 5777354 | European Journal of Combinatorics | 2017 | 11 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Discrete Mathematics and Combinatorics
Authors
Martin Balko, Pavel Valtr,