@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00232324,
 author = {新屋, 良磨},
 book = {第63回プログラミング・シンポジウム予稿集},
 month = {Jan},
 pages = {63--63},
 publisher = {情報処理学会},
 title = {制約オートマトン：理論と実装},
 volume = {2022},
 year = {2022}
}