Kreft, Raphael and Büchner, Clemens and Sievers, Silvan. (2023) CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions.
![[img]](https://edoc.unibas.ch/style/images/fileicons/application_pdf.png) |
PDF
- Accepted Version
100Kb |
Official URL: https://edoc.unibas.ch/95688/
Downloads: Statistics Overview
| Faculties and Departments: | 05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert) |
|---|---|
| UniBasel Contributors: | Büchner, Clemens and Sievers, Silvan and Kreft, Raphael |
| Item Type: | Other |
| Note: | Publication type according to Uni Basel Research Database: Other publications |
| Language: | English |
| edoc DOI: | |
| Last Modified: | 03 Oct 2023 07:00 |
| Deposited On: | 03 Oct 2023 07:00 |
Repository Staff Only: item control page