nsoks

swMATH21060MaRDI QIDQ32873FDOQ32873

Author name not available (Why is that?)

Cited In (4)

• MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
• Enumeration of Complex Golay Pairs via Programmatic SAT
• 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