Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 156



71
TÍTULO: An overview of parallel SAT solving  Full Text
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: CONSTRAINTS, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
72
TÍTULO: Clause Sharing in Parallel MaxSAT
AUTORES: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers, VOLUME: 7219
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
73
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: 8
NO MEU: ORCID | CIÊNCIAVITAE
74
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 | CIÊNCIAVITAE
75
TÍTULO: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTORES: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLICAÇÃO: 2012, FONTE: J. Multiple Valued Log. Soft Comput., VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: DBLP
NO MEU: DBLP
76
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: 9 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
77
TÍTULO: On Partitioning for Maximum Satisfiability
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
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 DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
78
TÍTULO: On When and How to use SAT to Mine Frequent Itemsets PDF
AUTORES: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.6253
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
79
TÍTULO: PackUp: Tools for Package Upgradability Solving PDF
AUTORES: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 1/2
INDEXADO EM: DBLP
NO MEU: DBLP
80
TÍTULO: Parallel search for maximum satisfiability  Full Text
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: AI COMMUNICATIONS, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 8 de 16. Total de resultados: 156.

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

Links Úteis

Ajuda

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