Unix and Linux Stack Exchange
Unix and Linux Stack Exchange

Tomáš Peitl
101
reputation
1
5
  • Bratislava, Slovakia
  • Member since March 25 2017
  • 31 profile views
  • Last seen Aug 17 '23 at 05:50

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