Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 152



11
TITLE: DeepData: Machine learning in the marine ecosystems
AUTHORS: Leonor Silva; Magda Resende; Helena Galhardas; Vasco M Manquinho; Inês Lynce ;
PUBLISHED: 2022, SOURCE: Expert Syst. Appl., VOLUME: 206
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: Exact and approximate determination of the Pareto set using minimal correction subsets
AUTHORS: Andreia P Guerreiro; João Cortes; Daniel Vanderpooten; Cristina Bazgan; Inês Lynce ; Vasco Manquinho; José Rui Figueira;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.06908
INDEXED IN: DBLP
IN MY: DBLP
13
TITLE: Introducing UniCorT: an iterative university course timetabling tool with MaxSAT  Full Text
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I ;
PUBLISHED: 2022, SOURCE: JOURNAL OF SCHEDULING, VOLUME: 25, ISSUE: 4
INDEXED IN: WOS DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
14
TITLE: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTHORS: João Cortes; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.10856
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: Chapter 4. Conflict-Driven Clause Learning SAT Solvers
AUTHORS: Joao Marques-Silva; Ines Lynce ; Sharad Malik;
PUBLISHED: 2021, SOURCE: Frontiers in Artificial Intelligence and Applications - Handbook of Satisfiability
INDEXED IN: CrossRef: 31
16
TITLE: Chapter 4: Conflict-driven clause learning SAT solvers
AUTHORS: Joao Marques Silva; Ines Lynce ; Sharad Malik;
PUBLISHED: 2021, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
INDEXED IN: Scopus Unpaywall
17
TITLE: Conflict-Driven Clause Learning SAT Solvers
AUTHORS: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLISHED: 2021, SOURCE: Handbook of Satisfiability - Second Edition, VOLUME: 336
INDEXED IN: Scopus DBLP
18
TITLE: Counterfeiting Congestion Control Algorithms
AUTHORS: Ferreira, M; Narayan, A; Lynce, I ; Martins, R; Sherry, J;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE THE 20TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2021
INDEXED IN: WOS DBLP
19
TITLE: Disruptions in timetables: a case study at Universidade de Lisboa  Full Text
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SCHEDULING, VOLUME: 24, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
20
TITLE: FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
AUTHORS: Ferreira, M; Terra Neves, M; Ventura, M; Lynce, I ; Martins, R;
PUBLISHED: 2021, SOURCE: TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2021, VOLUME: 12651
INDEXED IN: WOS DBLP
Page 2 of 16. Total results: 152.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service