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