Presentation for the Paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers"
Bach, Jakob
1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
11 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
Abstract:
These are the slides for the paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers", presented at the conference [*SAT 2022*](http://satisfiability.org/SAT22/).
You can find the paper [here](https://www.doi.org/10.4230/LIPIcs.SAT.2022.2).
You can find the paper [here](https://www.doi.org/10.4230/LIPIcs.SAT.2022.2).
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Vortrag |
| Publikationsdatum | 02.08.2022 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000149943 |
| Veranstaltung | 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), Haifa, Israel, 02.08.2022 – 05.08.2022 |
| Externe Relationen | Forschungsdaten/Software |
| Schlagwörter | propositional satisfiability, solver portfolios, runtime prediction, machine learning, integer programming |
| Relationen in KITopen |
|