QBF-Beweise und Zertifikate

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
QBFPC
 
Project Title (de) Projekttitel (de)
QBF-Beweise und Zertifikate
 
Project Title (en) Projekttitel (en)
QBF Proofs and Certificates
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

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

Publications

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

PreviewAuthor(s)TitleTypeIssue Date
1Chede-2024-Circuits, Proofs and Propositional Model Counting-vor.pdf.jpgChede, Sravanthi ; Chew, Leroy Nicholas ; Shukla, Anil Circuits, Proofs and Propositional Model CountingInproceedings Konferenzbeitrag 5-Dec-2024
2Chew, Leroy ; de Colnet, Alexis ; Szeider, Stefan ASP-QRAT: A Conditionally Optimal Dual Proof System for ASPInproceedings Konferenzbeitrag 2024