Enumeration of Complex Golay Pairs via Programmatic SAT (Q5120185): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q315501
Importer (talk | contribs)
Changed an Item
 
(7 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Ilias S. Kotsireas / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: nsoks / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Maple / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: FFTW / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: MathCheck / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3104801676 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1805.05488 / rank
 
Normal rank

Latest revision as of 23:48, 19 April 2024

scientific article; zbMATH DE number 7245506
Language Label Description Also known as
English
Enumeration of Complex Golay Pairs via Programmatic SAT
scientific article; zbMATH DE number 7245506

    Statements

    Enumeration of Complex Golay Pairs via Programmatic SAT (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    9 September 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    SAT solvers
    0 references
    autocorrelation
    0 references
    Boolean satisfiability
    0 references
    complex Golay pairs
    0 references
    exhaustive search
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references