Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 156



11
TÍTULO: SAT Encodings and Beyond (Dagstuhl Seminar 23261)
AUTORES: Marijn J H Heule; Inês Lynce ; Stefan Szeider; André Schidler;
PUBLICAÇÃO: 2023, FONTE: Dagstuhl Reports, VOLUME: 13, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: DBLP
12
TÍTULO: DeepData: Machine learning in the marine ecosystems  Full Text
AUTORES: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena ; Manquinho, Vasco ; Lynce, Ines ;
PUBLICAÇÃO: 2022, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
13
TÍTULO: Exact and approximate determination of the Pareto set using minimal correction subsets
AUTORES: Andreia P Guerreiro; João Cortes; Daniel Vanderpooten; Cristina Bazgan; Inês Lynce ; Vasco Manquinho; José Rui Figueira;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2204.06908
INDEXADO EM: DBLP
NO MEU: DBLP
14
TÍTULO: Introducing UniCorT: an iterative university course timetabling tool with MaxSAT  Full Text
AUTORES: Lemos, A; Monteiro, PT; Lynce, I ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF SCHEDULING, VOLUME: 25, NÚMERO: 4
INDEXADO EM: WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
15
TÍTULO: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTORES: João Cortes; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2204.10856
INDEXADO EM: DBLP
NO MEU: DBLP
16
TÍTULO: Chapter 4. Conflict-Driven Clause Learning SAT Solvers
AUTORES: Joao Marques-Silva; Ines Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications - Handbook of Satisfiability
INDEXADO EM: CrossRef: 31
17
TÍTULO: Chapter 4: Conflict-driven clause learning SAT solvers
AUTORES: Joao Marques Silva; Ines Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
INDEXADO EM: Scopus Unpaywall
18
TÍTULO: Conflict-Driven Clause Learning SAT Solvers
AUTORES: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Handbook of Satisfiability - Second Edition, VOLUME: 336
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
19
TÍTULO: Counterfeiting Congestion Control Algorithms
AUTORES: Ferreira, M; Narayan, A; Lynce, I ; Martins, R; Sherry, J;
PUBLICAÇÃO: 2021, FONTE: PROCEEDINGS OF THE THE 20TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2021
INDEXADO EM: WOS DBLP
NO MEU: DBLP
20
TÍTULO: Disruptions in timetables: a case study at Universidade de Lisboa  Full Text
AUTORES: Lemos, A; Monteiro, PT; Lynce, I ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SCHEDULING, VOLUME: 24, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 2 de 16. Total de resultados: 156.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service