39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)

Book title Buchtitel
39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)
 
ISBN
978-3-95977-222-8
 
Editor Herausgeber_in
 
Publisher Herausgeber
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
 
Place of publishing Erscheinungsort
Dagstuhl
 
DOI
10.4230/LIPIcs.STACS.2022
 
Series Schriftenreihe
Leibniz International Proceedings in Informatics (LIPIcs)
 
Volume Band
219
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kanesh, Lawqueen ; Madathil, Jayakrishnan ; Roy, Sanjukta ; Sahu, Abhishek ; Saurabh, Saket Further Exploiting c-Closure for FPT Algorithms and Kernels for Domination ProblemsInproceedings Konferenzbeitrag 9-Mar-2022
2Chew-2022-Towards Uniform Certification in QBF-vor.pdf.jpgChew, Leroy ; Slivovsky, Friedrich Towards Uniform Certification in QBFInproceedings Konferenzbeitrag 9-Mar-2022