Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 152



111
TÍTULO: Restoring CSP Satisfiability with MaxSAT PDF
AUTORES: Inês Lynce ; Joao Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2009 in Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009, VOLUME: 589
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
112
TÍTULO: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, 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: ORCID | CIÊNCIAVITAE
113
TÍTULO: Backtracking
AUTORES: Inês Lynce ; Vasco M Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP | CIÊNCIAVITAE
114
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 | CIÊNCIAVITAE
115
TÍTULO: CNF Instances from the Software Package Installation Problem PDF
AUTORES: Josep Argelich; Inês Lynce ;
PUBLICAÇÃO: 2008, FONTE: 15th Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 in Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008., VOLUME: 451
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
116
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: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
117
TÍTULO: Encoding Max-CSP into Partial Max-SAT  Full Text
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLICAÇÃO: 2008, FONTE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
118
TÍTULO: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTORES: Lynce, I ; Graca, 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: ORCID | DBLP | CIÊNCIAVITAE
119
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: 16 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
120
TÍTULO: Modelling Max-CSP as Partial Max-SAT
AUTORES: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008 in Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, VOLUME: 4996
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
Página 12 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