Pages that link to "Item:Q5120185"
From MaRDI portal
The following pages link to Enumeration of Complex Golay Pairs via Programmatic SAT (Q5120185):
Displaying 5 items.
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT (Q2200304) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Generalizing pairs of complementary sequences and a construction of combinatorial structures (Q2305909) (← links)
- Applying computer algebra systems with SAT solvers to the Williamson conjecture (Q2307627) (← links)