A SAT Attack on the Erdős Discrepancy Conjecture.

Boris Konev, Alexei Lisitsa

Browse the full SAT paper archive.