Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



61
TÍTULO: Community-Based Partitioning for MaxSAT Solving
AUTORES: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2013, FONTE: SAT, VOLUME: 7962 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 13
NO MEU: DBLP
62
TÍTULO: An overview of parallel SAT solving
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: CONSTRAINTS, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 46
NO MEU: DBLP
63
TÍTULO: Clause Sharing in Parallel MaxSAT
AUTORES: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2012, FONTE: LION, VOLUME: 7219 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: DBLP
64
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
65
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
66
TÍTULO: On Computing Minimal Equivalent Subformulas
AUTORES: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: CP, VOLUME: 7514 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 9 Unpaywall
NO MEU: DBLP
67
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: DBLP
68
TÍTULO: On When and How to use SAT to Mine Frequent Itemsets
AUTORES: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.6253
INDEXADO EM: DBLP
NO MEU: DBLP
69
TÍTULO: PackUp: Tools for Package Upgradability Solving
AUTORES: Mikolás Janota; Inês Lynce ; Vasco Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 8, NÚMERO: 1/2
INDEXADO EM: DBLP
NO MEU: DBLP
70
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 DBLP CrossRef: 12
NO MEU: DBLP
Página 7 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