Data · dataset · 2023
Experimental Data for the Paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers"
Listed in RADAR and RADAR4Memory — shown once because both records carry DOI 10.35097/1331
Description
These are the experimental data for the paper > Bach, Jakob, Markus Iser, and Klemens Böhm. "A Comprehensive Study of k-Portfolios of Recent SAT Solvers" published at the conference *SAT 2022*. You can find the paper here and the code here. See the `README` for details.
Links
Where it is published
- DOI doi.org/10.35097/1331 ↗
DOI / persistent id · from radar service eu de
Catalogue records · 1
- OAI-PMH record radar-service.eu/oai/OAIHandler?verb=GetRecord&metadataPrefix=oai_dc&identifier… ↗
metadata API · from radar service eu de
Topics
Provenance · 2 source records, 11 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| RADAR | 10.35097/1331 | 10 d ago | JSON v1 |
| RADAR4Memory | 10.35097/1331 | 10 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].anzsrc:group:4611 | mapping · radar4memory radar service eu | vocabulary-mapper@1.0.0 | keywords['machine learning'] |
| concepts[field].anzsrc:group:4611 | mapping · radar service eu de | vocabulary-mapper@1.0.0 | keywords['machine learning'] |
| concepts[field].local:field:computer-science-ai | mapping · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · radar4memory radar service eu | connector:radar4memory_radar_service_eu@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · radar4memory radar service eu | connector:radar4memory_radar_service_eu@1.0.0 | |
| description | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/description |
| license | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/rights |
| publication_date | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | |
| title | source · radar service eu de | connector:radar_service_eu_de@1.0.0 | /metadata/dc/title |