The following pages link to Green-Tao Numbers and SAT (Q4930604):
Displayed 6 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- Optimal symmetry breaking for graph problems (Q2009225) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- On Variables with Few Occurrences in Conjunctive Normal Forms (Q3007672) (← links)
- Are hitting formulas hard for resolution? (Q6162037) (← links)