nsoks
From MaRDI portal
Software:32873
No author found.
Related Items (4)
Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT ⋮ Enumeration of Complex Golay Pairs via Programmatic SAT ⋮ Applying computer algebra systems with SAT solvers to the Williamson conjecture ⋮ MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
This page was built for software: nsoks
