判断推理

• 犯人は誰だ SAT encoding
• マーダーミステリー

参考文献