Constraint Propagation for Reasoning in Single-Player Deduction Games

Published in IEEE Conference on Games (CoG), 2025

Recommended citation: F. Meng, K. Xu, and S. M. Lucas. (2025). "Constraint Propagation for Reasoning in Single-Player Deduction Games." 2025 IEEE Conference on Games (CoG).
Download Paper