Pages that link to "Item:Q2307627"
From MaRDI portal
The following pages link to Applying computer algebra systems with SAT solvers to the Williamson conjecture (Q2307627):
Displaying 4 items.
- Hadamard matrices of Williamson type: A challenge for computer algebra (Q1006655) (← links)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)
- Inferring Congruence Equations Using SAT (Q3512500) (← links)
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (Q5041183) (← links)