24 citations · 55 across the 10 of their papers we have counts for
Showing 2014 · cs.DMShow all
2 papers · 2 filters
cs.DM2014
Computer-Aided Proof of Erdos Discrepancy Properties
Boris Konev, Alexei Lisitsa
In 1930s Paul Erdos conjectured that for any positive integer in any infinite sequence there exists a subsequence , for some…
cs.DM2014
A SAT Attack on the Erdos Discrepancy Conjecture
Boris Konev, Alexei Lisitsa
In 1930s Paul Erdos conjectured that for any positive integer C in any infinite +1 -1 sequence (x_n) there exists a subsequence x_d, x_{2d}, ... , x_{kd} for some positive integers…