25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
 
ISBN
978-3-95977-242-6
 
Editor Herausgeber_in
 
Publisher Herausgeber
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
 
Place of publishing Erscheinungsort
Dagstuhl
 
DOI
10.4230/LIPIcs.SAT.2022
 
Series Schriftenreihe
Leibniz International Proceedings in Informatics (LIPIcs)
 
Volume Band
236
 

Publications Publikationen

Results 1-5 of 5 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reichl-2022-Pedant A Certifying DQBF Solver-vor.pdf.jpgReichl, Franz Xaver ; Slivovsky, Friedrich Pedant: A Certifying DQBF SolverInproceedings Konferenzbeitrag 28-Jul-2022
2Fichte-2022-Proofs for Propositional Model Counting-vor.pdf.jpgFichte, Johannes K. ; Hecher, Markus ; Roland, Valentin Proofs for Propositional Model CountingInproceedings Konferenzbeitrag 28-Jul-2022
3Slivovsky-2022-Quantified CDCL with Universal Resolution-vor.pdf.jpgSlivovsky, Friedrich Quantified CDCL with Universal ResolutionInproceedings Konferenzbeitrag 28-Jul-2022
4Kirchweger-2022-A SAT Attack on Rotas Basis Conjecture-vor.pdf.jpgKirchweger, Markus ; Scheucher, Manfred ; Szeider, Stefan A SAT Attack on Rota’s Basis ConjectureInproceedings Konferenzbeitrag 28-Jul-2022
5Ganian-2022-Weighted Model Counting with Twin-Width-vor.pdf.jpgGanian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan Weighted Model Counting with Twin-WidthInproceedings Konferenzbeitrag 28-Jul-2022