Stack Exchange
Unix and Linux Stack Exchange
Questions
Tags
Users
About
Unix and Linux Stack Exchange
Public
Questions
Tags
Users
About
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.