The following pages link to tawSolver (Q22798):
Displaying 10 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)
- Some results on a class of mixed van der Waerden numbers (Q1657781) (← links)
- Projection heuristics for binary branchings between sum and product (Q2118310) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
- (Q2855545) (← links)
- Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency (Q2895792) (← links)
- (Q5033249) (← links)
- New lower bounds for van der Waerden numbers (Q5093808) (← links)
