Content deleted Content added
Line 39:
* [[János Komlós (mathematician)|Komlós]] conjecture
* The three permutations problem (Beck) – disproved by Newman and Nikolov.<ref>http://front.math.ucdavis.edu/1104.2922</ref>
* [[Erdős discrepancy problem]] – Homogeneous arithmetic progressions. The problem was stated by [[Paul Erdős|Erdős]]. He awarded $500 for the proof or disproof of the conjecture. The problem was solved
|title = A SAT Attack on the Erd̋os Discrepancy Conjecture
|author = Boris Konev and Alexei Lisitsa
|journal = Transactions of the American Mathematical Society
|date = 2014
|publisher = Department of Computer Science University of Liverpool, United Kingdom
}http://cgi.csc.liv.ac.uk/~konev/SAT14/sat14.pdf}</ref>
* [[Heilbronn triangle problem]] on the minimum area of a triangle determined by three points from an ''n''-point set
|