Research Interests:
Artificial Intelligence, Constraint Satisfaction, Satisfiability, Formal Methods, Bioinformatics, Optimization, Knowledge Representation
    List of Publications (also available from DBLP)
    Citations available from
Google Scholar and
ACM author profile
Research projects (ongoing)
    SATPot: SATisfiability algorithms, aPplicatiOns and exTensions, funded by FCT
    SHIPs: Sat-based Haplotype Inference by Pure Parsimony, funded by FCT
    MANCOOSI: Managing the Complexity of the Open Source Infrastructure, funded by EU/FP7
    PESSOA: From Gene Maps to Gene Orders, with LINA/Universite de Nantes, funded by GRICES