The following pages link to MathCheck (Q25556):
Displaying 11 items.
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- Matchings extend to Hamiltonian cycles in 5-cube (Q1692644) (← 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)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← 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)
- Enumeration of Complex Golay Pairs via Programmatic SAT (Q5120185) (← links)
- Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing (Q5121108) (← links)
- New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences (Q5138930) (← links)
