Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 156



11
TITLE: SAT Encodings and Beyond (Dagstuhl Seminar 23261)
AUTHORS: Marijn J H Heule; Inês Lynce ; Stefan Szeider; André Schidler;
PUBLISHED: 2023, SOURCE: Dagstuhl Reports, VOLUME: 13, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: DeepData: Machine learning in the marine ecosystems  Full Text
AUTHORS: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena ; Manquinho, Vasco ; Lynce, Ines ;
PUBLISHED: 2022, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
13
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
14
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 | DBLP | CIÊNCIAVITAE
15
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
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 - Handbook of Satisfiability
INDEXED IN: CrossRef: 31
17
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
18
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
IN MY: DBLP
19
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
IN MY: DBLP
20
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 | DBLP | CIÊNCIAVITAE
Page 2 of 16. Total results: 156.

footer slogan

Useful Links

Get Help

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