Ziqian Luo '18, Gettysburg College

Document Type

Conference Material

Publication Date


Department 1

Computer Science


Neller and Ziqian Luo ’18 presented a means of mixed logical and probabilistic reasoning with knowledge in the popular deductive mystery game Clue. Using at-least constraints, we more efficiently represented and reasoned about cardinality constraints on Clue card deal knowledge, and then employed a WalkSAT-based solution sampling algorithm with a tabu search metaheuristic in order to estimate the probabilities of unknown card places.


This presentation was given at the 10th International Conference on Computers and Games (CG2018) at National Taipei University in New Taipei City, Taiwan on July 10, 2018.

The authors have also published a journal article based on this presentation.