nsoks

MaRDI QIDQ32873swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-45641-6_9

Cited in

(6)

• Lynx
• MathCheck
• Enumeration of complex Golay pairs via programmatic SAT
• MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
• Applying computer algebra systems with SAT solvers to the Williamson conjecture
• Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT

This page was built for software: nsoks