Pages that link to "Item:Q2294574"
From MaRDI portal
The following pages link to The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574):
Displaying 5 items.
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Applying computer algebra systems with SAT solvers to the Williamson conjecture (Q2307627) (← links)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (Q5041183) (← links)
- Enumeration of Complex Golay Pairs via Programmatic SAT (Q5120185) (← links)