Sign in

A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons.

Gennaro AuricchioLuca FerrariniStefano GualandiGreta LanzarottoLudovico Pernazza
Published in: CPAIOR (2022)
Keyphrases
  • sat encodings
  • pseudo boolean constraints
  • sat solving
  • sat solvers
  • np hard
  • dynamic environments
  • orders of magnitude
  • graph coloring