Latest YouTube Video

Sunday, June 21, 2015

Strategy Synthesis for General Deductive Games Based on SAT Solving. (arXiv:1407.3926v2 [cs.AI] UPDATED)

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.



from cs.AI updates on arXiv.org http://ift.tt/1nuifpg
via IFTTT

No comments: