A Novel SAT-solver for the Van der Waerden Numbers

Citation:
El-Maksoud, M. A., and A. Abdalla, "A Novel SAT-solver for the Van der Waerden Numbers", Journal of the Egyptian Mathematical Society, vol. 27, 2019.
PreviewAttachmentSize
a_novel_sat_solver_for_the_van_der_waerden_numbers.pdf684.34 KB
Tourism