TY - RPRT TI - Quantaloidal Approach to Constraint Satisfaction AU - Soichiro Fujii AU - Yuni Iwamasa AU - Kei Kimura PY - 2022 DO - 10.4204/eptcs.372.21 UR - https://arxiv.org/abs/2107.01778 ID - 2107.01778 ER -