Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



41
TÍTULO: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
42
TÍTULO: Introducing Pareto Minimal Correction Subsets
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2017, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP
43
TÍTULO: Logic-Based Encodings for Ricochet Robots
AUTORES: Gouveia, F ; Monteiro, PT; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
44
TÍTULO: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2016, FONTE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
45
TÍTULO: Algorithms for computing backbones of propositional formulae  Full Text
AUTORES: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 30 Unpaywall
NO MEU: ORCID | DBLP
46
TÍTULO: Deterministic Parallel MaxSAT Solving
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
47
TÍTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: DBLP
48
TÍTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving
AUTORES: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: J. Exp. Theor. Artif. Intell., VOLUME: 27, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
49
TÍTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving  Full Text
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 27, NÚMERO: 5
INDEXADO EM: Scopus WOS
50
TÍTULO: Algorithms for computing minimal equivalent subformulas  Full Text
AUTORES: Belov, A; Janota, M; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Unpaywall
NO MEU: ORCID | DBLP
Página 5 de 14. Total de resultados: 140.

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