A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons

von Auricchio, Gennaro
Veröffentlicht in CPAIOR (19. : 2022 : Los Angeles, Calif.; Online) Integration of constraint programming, artificial intelligence, and operations research (2022)