@Inproceedings{EPTCS372.21,
  author    = {Fujii, Soichiro and Iwamasa, Yuni and Kimura, Kei},
  year      = {2022},
  title     = {Quantaloidal Approach to Constraint Satisfaction},
  editor    = {Kishida, Kohei},
  booktitle = {{\rm Proceedings of the Fourth International Conference on}
               Applied Category Theory,
               {\rm Cambridge, United Kingdom, 12-16th July 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {372},
  publisher = {Open Publishing Association},
  pages     = {289-305},
  doi       = {10.4204/EPTCS.372.21},
}