OKlibrary  0.2.1.6
OK_RamseyTheory_2vdWshort.hpp File Reference

Plans for the short article on 2-coloured vdW-like numbers. More...

Go to the source code of this file.


Detailed Description

Plans for the short article on 2-coloured vdW-like numbers.

Todo:
Numbers to be included
  • Everything we know on vdw_2(a,k) and vdw_2^pd(a,k).
  • That is, 3 <= a <= 7.
  • Perhaps SplittingViaOKsolver should be used for more palindromic instances.
Todo:
Improving SplittingViaOKsolver
  • SplittingViaOKsolver should be made ready for external usage.
Todo:
Other SAT solvers
  • We should try more SAT solvers, complete and incomplete.
Todo:
Target-journal JSAT
  • Get the style-file.
  • Perhaps this style shouldn't be used for the arXiv-report.

Definition in file OK_RamseyTheory_2vdWshort.hpp.