Name Card

Full name Familienname, Vorname
Peitl, Tomáš
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Peitl, Tomáš ; Szeider, Stefan Finding the Hardest Formulas for Resolution (Extended Abstract)Konferenzbeitrag Inproceedings 2021
2Blinkhorn, Joshua ; Peitl, Tomáš ; Slivovsky, Friedrich Davis and Putnam Meet Henkin: Solving DQBF with ResolutionKonferenzbeitrag Inproceedings 2021
3Peitl, Tomáš ; Szeider, Stefan Finding the Hardest Formulas for ResolutionKonferenzbeitrag Inproceedings 2020
4Ganian, Robert ; Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Fixed-Parameter Tractability of Dependency QBF with Structural ParametersKonferenzbeitrag Inproceedings 2020
5Peitl Tomas - 2016 - Long Distance Q-Resolution with Dependency Schemes.pdf.jpgPeitl, Tomáš ; Slivovsky, Friedrich; Szeider, StefanLong Distance Q-Resolution with Dependency SchemesInproceedings Konferenzbeitrag 2016