( en | de | ru )

 

Disambiguierung von "Peitl, Tomás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution.

, , , und . ACM Trans. Comput. Log., 24 (2): 10:1-10:30 (April 2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tomás Núñez

Tomás Vinar

Ana Teresa Monteiro Tomás

Tomás Barros

Tomás Mácha

 

Weitere Publikationen von Autoren mit dem selben Namen

Long Distance Q-Resolution with Dependency Schemes., , und . SAT, Volume 9710 von Lecture Notes in Computer Science, Seite 500-518. Springer, (2016)Finding the Hardest Formulas for Resolution., und . J. Artif. Intell. Res., (2021)Long-Distance Q-Resolution with Dependency Schemes., , und . J. Autom. Reason., 63 (1): 127-155 (2019)A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture., , und . SAT, Volume 271 von LIPIcs, Seite 13:1-13:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Should Decisions in QCDCL Follow Prefix Order?, , und . SAT, Volume 236 von LIPIcs, Seite 11:1-11:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Fixed-Parameter Tractability of Dependency QBF with Structural Parameters., , , und . KR, Seite 392-402. (2020)Finding the Hardest Formulas for Resolution., und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 514-530. Springer, (2020)Are hitting formulas hard for resolution?, und . Discret. Appl. Math., (Oktober 2023)Proof Complexity of Fragments of Long-Distance Q-Resolution., , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 319-335. Springer, (2019)Hardness Characterisations and Size-width Lower Bounds for QBF Resolution., , , und . ACM Trans. Comput. Log., 24 (2): 10:1-10:30 (April 2023)