Decoupled Search for Proving Unsolvability (planner abstract)

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