Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 62



11
TÍTULO: Towards efficient MUS extraction  Full Text
AUTORES: Belov, A; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: AI COMMUNICATIONS, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
12
TÍTULO: Boolean lexicographic optimization: algorithms & applications  Full Text
AUTORES: Marques Silva, J ; Argelich, J; Graca, A; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID
13
TÍTULO: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce ;
PUBLICAÇÃO: 2011, FONTE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
14
TÍTULO: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTORES: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2011, FONTE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in ANNALS OF OPERATIONS RESEARCH, VOLUME: 184, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
15
TÍTULO: On Improving MUS Extraction Algorithms
AUTORES: Marques Silva, J ; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID
16
TÍTULO: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 107, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
17
TÍTULO: Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization
AUTORES: Trezentos, P; Lynce, I ; Oliveira, AL ;
PUBLICAÇÃO: 2010, FONTE: 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10 in ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
18
TÍTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTORES: Joao Delgado; Ines Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 9
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
19
TÍTULO: Haplotype Inference by Pure Parsimony: A Survey
AUTORES: Ana Graca; Ines Lynce ; Joao Marques Silva ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
20
TÍTULO: Improving Search Space Splitting for Parallel SAT Solving
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2010, FONTE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 2 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