Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 152



51
TÍTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving  Full Text
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, NÚMERO: 5
INDEXADO EM: CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
52
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
53
TÍTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving  Full Text
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
NO MEU: ORCID | CIÊNCIAVITAE
54
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: 8 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
55
TÍTULO: An ontology-based approach to conflict resolution in Home and Building Automation Systems  Full Text
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: 17
NO MEU: ORCID | CIÊNCIAVITAE
56
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
57
TÍTULO: Incremental Cardinality Constraints for MaxSAT PDF
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 arXiv
58
TÍTULO: Incremental Cardinality Constraints for MaxSAT
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, VOLUME: 8656
INDEXADO EM: Scopus DBLP CrossRef: 36
NO MEU: ORCID | CIÊNCIAVITAE
59
TÍTULO: Inferring phylogenetic trees using pseudo-Boolean optimization  Full Text
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: ORCID | CIÊNCIAVITAE
60
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
Página 6 de 16. Total de resultados: 152.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service