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

View Statistics Email Alert RSS Feed

Description

Event name
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
 
Event type
Event for scientific audience
 
Start date
02-08-2022
End date
05-08-2022
 
Location
Haifa
Country
Israel
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Reichl-2022-Pedant A Certifying DQBF Solver-vor.pdf.jpgReichl, Franz Xaver ; Slivovsky, Friedrich Pedant: A Certifying DQBF SolverInproceedings Konferenzbeitrag 28-Jul-2022
2Slivovsky-2022-Quantified CDCL with Universal Resolution-vor.pdf.jpgSlivovsky, Friedrich ; Meel, Kuldeep S. ; Strichman, Ofer Quantified CDCL with Universal ResolutionInproceedings Konferenzbeitrag 28-Jul-2022
3Kirchweger-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
4Ganian-2022-Weighted Model Counting with Twin-Width-vor.pdf.jpgGanian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan ; Meel, Kuldeep S. ; Strichman, Ofer Weighted Model Counting with Twin-WidthInproceedings Konferenzbeitrag 28-Jul-2022