Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 62



1
TÍTULO: Community-based partitioning for MaxSAT solving
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7962 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
2
TÍTULO: An overview of parallel SAT solving  Full Text
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2012, FONTE: CONSTRAINTS, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: Clause sharing in parallel MaxSAT
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
4
TÍTULO: Efficient and accurate haplotype inference by combining parsimony and pedigree information
AUTORES: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Algebraic and Numeric Biology, ANB 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6479 LNCS
INDEXADO EM: Scopus CrossRef: 9
NO MEU: ORCID
5
TÍTULO: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTORES: Josep Argelichi; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID
6
TÍTULO: On Computing Minimal Equivalent Subformulas
AUTORES: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, VOLUME: 7514
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID
7
TÍTULO: On Partitioning for Maximum Satisfiability
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2012, FONTE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXADO EM: Scopus WOS
NO MEU: ORCID
8
TÍTULO: Parallel search for maximum satisfiability
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: AI COMMUNICATIONS, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 11
NO MEU: ORCID
9
TÍTULO: Reasoning over biological networks using maximum satisfiability
AUTORES: Guerra, J; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7514 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
10
TÍTULO: Satisfiability: Where theory meets Practice
AUTORES: Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 16
INDEXADO EM: Scopus
NO MEU: ORCID
Página 1 de 7. Total de resultados: 62.

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