Name Card

Full name Familienname, Vorname
Peitl, Tomas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Peitl-2023-Discrete Applied Mathematics-vor.pdf.jpgPeitl, Tomáš ; Szeider, Stefan Are hitting formulas hard for resolution?Article Artikel 15-Oct-2023
2Kirchweger-2023-A SAT Solvers Opinion on the Erdos-Faber-Lovasz Conjecture-vor.pdf.jpgKirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan A SAT Solver's Opinion on the Erdos-Faber-Lovász ConjectureInproceedings Konferenzbeitrag 9-Aug-2023
3Beyersdorff-2023-ACM Transactions on Computational Logic-am.pdf.jpgBeyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš Hardness Characterisations and Size-width Lower Bounds for QBF ResolutionArticle Artikel 27-Jan-2023
4Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan Co-Certificate Learning with SAT Modulo SymmetriesInproceedings Konferenzbeitrag 2023
5Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Guarav Hard QBFs for merge resolutionArticle Artikel 2023
6Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Proof Complexity of Fragments of Long-Distance Q-ResolutionKonferenzbeitrag Inproceedings 2019
7Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Combining Resolution-Path Dependencies with Dependency LearningKonferenzbeitrag Inproceedings 2019
8Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Dependency Learning for QBFArtikel Article 2019
9Peitl Tomas - 2019 - Advanced dependency analysis for QBF.pdf.jpgPeitl, Tomáš Advanced dependency analysis for QBFThesis Hochschulschrift 2019
10Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Long-Distance Q-Resolution with Dependency SchemesArtikel Article 2019
11Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Polynomial-Time Validation of QCDCL CertificatesKonferenzbeitrag Inproceedings 2018
12Hoos, Holger H. ; Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Portfolio-Based Algorithm Selection for Circuit QBFsKonferenzbeitrag Inproceedings 2018