A SAT encoding to compute aperiodic tiling rhythmic canons (Q2170172)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A SAT encoding to compute aperiodic tiling rhythmic canons
scientific article

    Statements

    A SAT encoding to compute aperiodic tiling rhythmic canons (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    30 August 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    mathematical models for music
    0 references
    aperiodic tiling rhythms
    0 references
    SAT encoding
    0 references
    integer linear programming
    0 references
    0 references
    0 references
    0 references
    0 references