Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
Publication exporters...

Ph. D. Dissertations

  • Hau Nguyen Van, SAT Encodings of Finite CSPs, Steffen Hölldobler and Pedro Barahona (superv.), TU Dresden, February 2015.
  • Ana Sofia Gomes, Transactions in Dynamic Reactive Environments, José Júlio Alferes (superv.), Universidade Nova de Lisboa, January 2015.

This year's information may not be complete.


Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT