Xu, K.; Meng, F.; Verbrugge, C.; Lucas, S. M. CSP4SDG: Constraint and Information-Theory Based Role Identification in Social Deduction Games With LLM-Enhanced Inference. AAAI 2026, 40, 14380-14387.