Von QBF zu DQBF: Theorie zusammen mit Praxis

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
From QBF to DQBF: Theory together with Practice
 
Project Title (de) Projekttitel (de)
Von QBF zu DQBF: Theorie zusammen mit Praxis
 
Project Title (en) Projekttitel (en)
From QBF to DQBF: Theory together with Practice
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
J4361
 

Publications

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Beyersdorff-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
2Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Guarav Hard QBFs for merge resolutionArticle Artikel 2023