Tomas Peitl
Address:
Tomas Peitl
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria
| Room: | HA0402 (how to get there) |
| Phone: | +43(1)58801–186124 |
| Email: | peitl@ac.tuwien.ac.at |
| Web: | http://www.ac.tuwien.ac.at/people/peitl/ |
Research Interests
- Quantified Boolean Formulas, SAT, Complexity Theory
Current Position
- I am a PhD student funded by the FWF project P27721 and partially by Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in September 2015 under the supervision of Prof. Dr. Stefan Szeider. I am also a project assistant in the Algorithms and Complexity Group.
Education
- MSc in Mathematics (Comenius University, Bratislava, Slovakia)
- BSc in Mathematics (Comenius University, Bratislava, Slovakia)
Publications
- Tomáš Peitl, Friedrich Slivovsky and Stefan Szeider, Dependency Learning for Quantified Boolean Formulas, in: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, Australia, August 28-September 1, pages 298-313, 2017.
- 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.
