Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



71
TÍTULO: Reasoning over Biological Networks Using Maximum Satisfiability
AUTORES: João Guerra; Inês Lynce ;
PUBLICAÇÃO: 2012, FONTE: CP, VOLUME: 7514 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 22
NO MEU: DBLP
72
TÍTULO: Satisfiability: where Theory meets Practice (Invited Talk)  Full Text
AUTORES: Inês Lynce ;
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 Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, VOLUME: 16
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
73
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 CrossRef: 58 Unpaywall
NO MEU: ORCID | DBLP
74
TÍTULO: Boolean lexicographic optimization: algorithms & applications  Full Text
AUTORES: Marques Silva, J ; Argelich, J; Graça, 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: 55 Unpaywall
NO MEU: ORCID | DBLP
75
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: DBLP
76
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: Scopus DBLP CrossRef Unpaywall
NO MEU: DBLP
77
TÍTULO: Haplotype inference with pseudo-Boolean optimization
AUTORES: Graça, 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: DBLP
78
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: 32 Unpaywall
NO MEU: ORCID | DBLP
79
TÍTULO: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011
AUTORES: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLICAÇÃO: 2011, FONTE: LoCoCo, VOLUME: 65
INDEXADO EM: DBLP
NO MEU: DBLP
80
TÍTULO: Restoring CSP Satisfiability with MaxSAT
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: DBLP
Página 8 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