Unix and Linux Stack Exchange
Unix and Linux Stack Exchange

Tomáš Peitl
101
reputation
  • Bratislava, Slovakia
  • Member since March 25 2017
  • 31 profile views
  • Last seen Apr 03 '24 at 12:44

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