A SAT encoding to compute aperiodic tiling rhythmic canons (Q2170172): Difference between revisions

@@ Property / cites work @@
+New perspectives on rhythmic canons and the spectral conjecture
+Normal rank
@@ Property / cites work @@
+Constraint programming systems for modeling music theories and composition
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Q5453717
@@ Property / cites work: Q5453717 / rank @@
+Normal rank
@@ Property / cites work @@
+PySAT: a Python toolkit for prototyping with SAT oracles
+Normal rank
@@ Property / cites work @@
+Complex Hadamard matrices and the spectral set conjecture
+Normal rank
@@ Property / cites work @@
+Algorithms for translational tiling
@@ Property / cites work: Algorithms for translational tiling / rank @@
+Normal rank
@@ Property / cites work @@
+Machine learning-based restart policy for CDCL SAT solvers
+Normal rank
@@ Property / cites work @@
+Musical harmonization with constraints: A survey
@@ Property / cites work: Musical harmonization with constraints: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+A constraint-based approach for annotating music scores with gestural information
+Normal rank
@@ Property / cites work @@
+Modelling musical structures
@@ Property / cites work: Modelling musical structures / rank @@
+Normal rank