11
TÍTULO: DeepData: Machine learning in the marine ecosystems
AUTORES: Leonor Silva; Magda Resende; Helena Galhardas; Vasco M Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2022, FONTE: Expert Syst. Appl., VOLUME: 206
INDEXADO EM: DBLP
NO MEU: DBLP
12
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
13
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
14
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
15
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
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, VOLUME: 336
INDEXADO EM: Scopus Unpaywall
17
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
18
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
19
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
20
TÍTULO: FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
AUTORES: Ferreira, M; Terra Neves, M; Ventura, M; Lynce, I ; Martins, R;
PUBLICAÇÃO: 2021, FONTE: TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2021, VOLUME: 12651
INDEXADO EM: WOS DBLP
Página 2 de 16. Total de resultados: 152.