Cobra: A Tool for Solving General Deductive Games.

Miroslav Klimos, Antonn Kucera

Browse the full LPAR paper archive.