Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
Browse member's work
You are here:

Ph. D. dissertations

  • Hau Nguyen Van, SAT Encodings of Finite CSPs, Steffen Hölldobler and Pedro Barahona (superv.), TU Dresden, February 2015.
CENTRIA member

Pedro Barahona
Efective member

Pedro Barahona

School: FCT/UNL
Country: Portugal
email: pb@di.fct.unl.pt

Personal web page
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