×

Found 4 Documents (Results 1–4)

A SAT encoding to compute aperiodic tiling rhythmic canons. (English) Zbl 1502.00085

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 14-23 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software