Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 62



31
TÍTULO: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
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 CrossRef
NO MEU: ORCID
32
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 Unpaywall
NO MEU: ORCID
33
TÍTULO: Efficient haplotype inference with combined CP and OR techniques  Full Text
AUTORES: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
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: 6
NO MEU: ORCID
34
TÍTULO: Encoding Max-CSP into partial Max-SAT  Full Text
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLICAÇÃO: 2008, FONTE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in Proceedings of The International Symposium on Multiple-Valued Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
35
TÍTULO: Haplotype inference with Boolean satisfiability  Full Text
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: 14
NO MEU: ORCID
36
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, SAT 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4996 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
37
TÍTULO: Symmetry Breaking for Maximum Satisfiability
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 CrossRef Unpaywall
NO MEU: ORCID
38
TÍTULO: Breaking symmetries in SAT matrix models
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, VOLUME: 4501
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
39
TÍTULO: Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection
AUTORES: Joao Marques Silva ; Ines Lynce ; Ana Graca; Arlindo L Oliveira ;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
40
TÍTULO: Efficient haplotype inference with pseudo-boolean optimization
AUTORES: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2007, FONTE: 2nd International Workshop on Algebraic Biologh in Algebraic Biology, Proceedings, VOLUME: 4545
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID
Página 4 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