nsoks

swMATH21060MaRDI QIDQ32873FDOQ32873

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: nsoks