Pages that link to "Item:Q2360872"
From MaRDI portal
The following pages link to Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872):
Displaying 7 items.
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- Extending perfect matchings to Gray codes with prescribed ends (Q1648667) (← 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)
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (Q5041183) (← links)
