Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



101
TÍTULO: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLICAÇÃO: 2009, FONTE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP
102
TÍTULO: Backtracking
AUTORES: Inês Lynce ; Vasco Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
103
TÍTULO: Boosting haplotype inference with local search  Full Text
AUTORES: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLICAÇÃO: 2008, FONTE: CONSTRAINTS, VOLUME: 13, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11 Unpaywall
NO MEU: ORCID | DBLP
104
TÍTULO: CNF Instances from the Software Package Installation Problem
AUTORES: Josep Argelich; Inês Lynce ;
PUBLICAÇÃO: 2008, FONTE: RCRA, VOLUME: 451
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
105
TÍTULO: Efficient haplotype inference with combined CP and OR techniques
AUTORES: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLICAÇÃO: 2008, FONTE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, VOLUME: 5015
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: DBLP
106
TÍTULO: Encoding Max-CSP into Partial Max-SAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLICAÇÃO: 2008, FONTE: 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP
107
TÍTULO: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTORES: Lynce, I ; Graça, A; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2008, FONTE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: DBLP
108
TÍTULO: Haplotype inference with Boolean satisfiability
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2008, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 16 Unpaywall
NO MEU: DBLP
109
TÍTULO: Modelling Max-CSP as partial Max-SAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: DBLP
110
TÍTULO: Symmetry Breaking for Maximum Satisfiability PDF
AUTORES: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, VOLUME: 5330
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 3 Unpaywall
NO MEU: DBLP
Página 11 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