Pages that link to "Item:Q2829996"
From MaRDI portal
The following pages link to MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures (Q2829996):
Displaying 6 items.
- MathCheck (Q25556) (← links)
- Investigating the existence of Costas Latin squares via satisfiability testing (Q2118308) (← links)
- Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT (Q2200304) (← links)
- 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)
