Pivotuner: automatic real-time pure intonation and microtonal modulation. - Dmitri Volkov (CoRR, 2023)

Committing to the bit: Relational programming with semiring arrays and SAT solving. - Dmitri Volkov; Yafei Yang; Chung-chieh Shan (CoRR, 2025)