Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT (Q2200304): Difference between revisions

@@ Property / author @@
-Ilias S. Kotsireas
@@ Property / author: Ilias S. Kotsireas / rank @@
-Normal rank
@@ Property / author @@
+Ilias S. Kotsireas
@@ Property / author: Ilias S. Kotsireas / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FFTW
@@ Property / describes a project that uses: FFTW / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathCheck
@@ Property / describes a project that uses: MathCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lynx
@@ Property / describes a project that uses: Lynx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nsoks
@@ Property / describes a project that uses: nsoks / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2966446838
@@ Property / OpenAlex ID: W2966446838 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.11981
@@ Property / arXiv ID: 1907.11981 / rank @@
+Normal rank
@@ Property / cites work @@
+Building Bridges between Symbolic Computation and Satisfiability Checking
+Normal rank
@@ Property / cites work @@
+$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
+Normal rank
@@ Property / cites work @@
+MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
+Normal rank
@@ Property / cites work @@
+Enumeration of Complex Golay Pairs via Programmatic SAT
+Normal rank
@@ Property / cites work @@
+Q4304351
@@ Property / cites work: Q4304351 / rank @@
+Normal rank
@@ Property / cites work @@
+Complex Golay sequences: Structure and applications
+Normal rank
@@ Property / cites work @@
+Peak-to-mean power control in OFDM, Golay complementary sequences, and Reed-Muller codes
+Normal rank
@@ Property / cites work @@
+Small Golay sequences
@@ Property / cites work: Small Golay sequences / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for the Construction ofGolay Sequences
+Normal rank
@@ Property / cites work @@
+A multi-dimensional approach to the construction and enumeration of Golay complementary sequences
+Normal rank
@@ Property / cites work @@
+Coefficient Inaccuracy in Transversal Filtering
@@ Property / cites work: Coefficient Inaccuracy in Transversal Filtering / rank @@
+Normal rank
@@ Property / cites work @@
+Quaternary Golay sequence pairs. I: Even length
@@ Property / cites work: Quaternary Golay sequence pairs. I: Even length / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325300
@@ Property / cites work: Q4325300 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighing matrices and string sorting
@@ Property / cites work: Weighing matrices and string sorting / rank @@
+Normal rank
@@ Property / cites work @@
+Quadriphase sequences for spread- spectrum multiple-access communication
+Normal rank
@@ Property / cites work @@
+More Golay Sequences
@@ Property / cites work: More Golay Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical study of branching heuristics through the lens of global learning rate
+Normal rank
@@ Property / cites work @@
+Multiphase Complementary Codes
@@ Property / cites work: Multiphase Complementary Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization theory and methods. Nonlinear programming
+Normal rank
@@ Property / cites work @@
+Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
+Normal rank
@@ Property / Wikidata QID @@
+Q126998645
@@ Property / Wikidata QID: Q126998645 / rank @@
+Normal rank