Tomáš Peitl

101
reputation

PostDoc working with SAT and quantified Boolean formulas (QBF) at TU Wien. Chess player.