Gnad, Daniel and Torralba, Álvaro and Hoffmann, Jörg and Wehrle, Martin. (2016) Decoupled Search for Proving Unsolvability (planner abstract).
Full text not available from this repository.
Official URL: http://edoc.unibas.ch/45236/
Downloads: Statistics Overview
| Faculties and Departments: | 05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert) |
|---|---|
| UniBasel Contributors: | Wehrle, Martin |
| Item Type: | Other |
| Note: | Publication type according to Uni Basel Research Database: Other publications |
| Last Modified: | 01 Dec 2020 16:23 |
| Deposited On: | 01 Dec 2020 16:23 |
Repository Staff Only: item control page