@inproceedings{CTT100845106,
  author = {田中 智 and Bonnet François and Tixeuil Sébastien and 田村 康将},
  title = {Quixoの強解決},
  booktitle = {},
  year = 2020,
}