Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



51
TÍTULO: An ontology-based approach to conflict resolution in Home and Building Automation Systems
AUTORES: Camacho, R; Carreira, P; Lynce, I ; Resendes, S;
PUBLICAÇÃO: 2014, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 41, NÚMERO: 14
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: DBLP
52
TÍTULO: Efficient Autarkies
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP
53
TÍTULO: Incremental Cardinality Constraints for MaxSAT
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: CP, VOLUME: 8656 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 44
NO MEU: DBLP
54
TÍTULO: Incremental Cardinality Constraints for MaxSAT
AUTORES: Martins, R; Joshi, S; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXADO EM: WOS DBLP
NO MEU: DBLP
55
TÍTULO: Inferring phylogenetic trees using pseudo-Boolean optimization
AUTORES: Miranda, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP
56
TÍTULO: On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 9, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
57
TÍTULO: Open-WBO: A modular MaxSAT solver
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
58
TÍTULO: Open-WBO: A Modular MaxSAT Solver
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
INDEXADO EM: Scopus WOS DBLP CrossRef: 85
NO MEU: DBLP
59
TÍTULO: Progression in Maximum Satisfiability
AUTORES: Ignatiev, A; Morgado, António ; Manquinho, V ; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: DBLP
60
TÍTULO: SAT Solvers
AUTORES: João Marques Silva ; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: Tractability, VOLUME: 9781107025196
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 6 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