We propose a general framework for modelling and solving deductive games,where one player selects a secret code and the other player strives to discover this code using a minimal number of allowed experiments that reveal some partial information about the code. The framework is implemented in a software tool Cobra, and its functionality is demonstrated by producing new results about existing deductive games.
CITATION STYLE
Klimoš, M., & Kučera, A. (2015). Cobra: A tool for solving general deductive games. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9450, pp. 31–47). Springer Verlag. https://doi.org/10.1007/978-3-662-48899-7_3
Mendeley helps you to discover research relevant for your work.