Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 156



111
TÍTULO: Conflict-Driven Clause Learning SAT Solvers
AUTORES: João P Marques Silva ; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2009, FONTE: Handbook of Satisfiability, VOLUME: 185, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
112
TÍTULO: On Improving Local Search for Unsatisfiability PDF
AUTORES: David Pereira; Inês Lynce ; Steven D Prestwich;
PUBLICAÇÃO: 2009, FONTE: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., VOLUME: 5
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
113
TÍTULO: On Solving Boolean Multilevel Optimization Problems PDF
AUTORES: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
114
TÍTULO: Regular Encodings from Max-CSP into Partial Max-SAT  Full Text
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLICAÇÃO: 2009, FONTE: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009 in ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
115
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
116
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 | DBLP | CIÊNCIAVITAE
117
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
118
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
119
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 | DBLP | CIÊNCIAVITAE
120
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
Página 12 de 16. Total de resultados: 156.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service