Login / Signup
Strategy Synthesis for General Deductive Games Based on SAT Solving.
Miroslav Klimos
Antonín Kucera
Published in:
CoRR (2014)
Keyphrases
</>
sat solving
special case
boolean satisfiability
information retrieval
genetic algorithm
objective function