Stack Overflow
Stack Overflow

Vojtěch Vorel
371
reputation
3
4
  • Prague, Czech Republic
  • Member since October 11 2013
  • 3 profile views
  • Last seen Jun 12 '23 at 08:47

PhD student at the Charles University in Prague. Working with satisfiability, complexity, automata, and graphs.