Tomáš Peitl

  • Project Assistant, MSc
  • TU Wien
  • Algorithms and Complexity Group
  • Institute of Computer Graphics and Algorithms 186/1
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria


Research Interests

  • Quantified Boolean Formulas, SAT, Complexity Theory

Current Position


Education


Publications

  1. Tomáš Peitl, Friedrich Slivovsky and Stefan Szeider, Long Distance Q-Resolution with Dependency Schemes, in: Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Labri, Bordeaux, France, July 5-8, pages 500-518, 2016.