KIT | KIT-Bibliothek | Impressum | Datenschutz

Presentation for the Paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers"

Bach, Jakob ORCID iD icon 1
1 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).


Volltext §
DOI: 10.5445/IR/1000149943
Veröffentlicht am 15.08.2022
Cover der Publikation
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page