Beta
383447

A novel SAT solver for the Van der Waerden numbers

Article

Last updated: 05 Jan 2025