publicações A KNOWLEDGE-BASED MODEL TO HOUSE THERMAL PARAMETERS IDENTIFICATION FROM HEAT PUMPS CONSUMPTIONS IN A MULTI-ZONE SMART BUILDINGS CONTEXT Documento Enumerating cliques and their relaxations: sequential and parallel algorithms Documento