Miroslav Klimos

Identifiers

• name variant Miroslav Klimos 0.60 · backfill

Papers (1)

1. Strategy Synthesis for General Deductive Games Based on SAT Solving cs.AI · 2014 · author #1

Mentions

• 1407.3926 #1 · backfill · confidence 0.70 Miroslav Klimos

Frequent Coauthors

• Antonin Kucera 1 shared papers