Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 152



81
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: 47 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
82
TÍTULO: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
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 DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
83
TÍTULO: Haplotype inference using propositional satisfiability
AUTORES: Graca, A; Marques Silva, J ; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
84
TÍTULO: Haplotype Inference Using Propositional Satisfiability
AUTORES: Ana Graça; João Marques Silva ; Inês Lynce ;
PUBLICAÇÃO: 2011, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: DBLP Unpaywall
85
TÍTULO: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTORES: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
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 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
86
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: 31 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
87
TÍTULO: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011 PDF
AUTORES: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLICAÇÃO: 2011, FONTE: LoCoCo, VOLUME: 65
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
88
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 | DBLP | CIÊNCIAVITAE
89
TÍTULO: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTORES: Inês Lynce ; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3
INDEXADO EM: CrossRef: 1 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
90
TÍTULO: SAT solvers
AUTORES: Joao Marques Silva ; Ines Lynce ;
PUBLICAÇÃO: 2011, FONTE: Tractability, VOLUME: 9781107025196
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
Página 9 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