A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons.

Gennaro Auricchio Luca Ferrarini Stefano Gualandi Greta Lanzarotto Ludovico Pernazza

Published in: CPAIOR (2022)

Keyphrases

sat encodings
pseudo boolean constraints
sat solving
sat solvers
np hard
dynamic environments
orders of magnitude
graph coloring