TeX - LaTeX Stack Exchange
TeX - LaTeX Stack Exchange

Tomáš Peitl
3
reputation
  • Bratislava, Slovakia
  • Member since November 01 2018
  • 0 profile views
  • Last seen Mar 27 '24 at 12:26

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