Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 62



21
TÍTULO: Improving Unsatisfiability-Based Algorithms for Boolean Optimization
AUTORES: Manquinho, V ; Martins, R; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
22
TÍTULO: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
23
TÍTULO: On Computing Backbones of Propositional Theories
AUTORES: Joao Marques Silva ; Mikolas Janota; Ines Lynce ;
PUBLICAÇÃO: 2010, FONTE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
24
TÍTULO: The seventh QBF solvers evaluation (QBFEVAL'10)
AUTORES: Peschiera, C; Pulina, L; Tacchella, A; Bubeck, U; Kullmann, O; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6175 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
25
TÍTULO: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas  Full Text
AUTORES: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLICAÇÃO: 2009, FONTE: CONSTRAINTS, VOLUME: 14, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID
26
TÍTULO: CNF instances from the software package installation problem
AUTORES: Argelich, J; Lynce, I ;
PUBLICAÇÃO: 2009, FONTE: 15th Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 in CEUR Workshop Proceedings, VOLUME: 451
INDEXADO EM: Scopus
NO MEU: ORCID
27
TÍTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization
AUTORES: Joao Delgado; Ines Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2009, FONTE: 7th Annual RECOMB on Comparative Genomic in COMPARATIVE GENOMICS, PROCEEDINGS, VOLUME: 5817
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
28
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
NO MEU: ORCID
29
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
30
TÍTULO: Regular Encodings from Max-CSP into Partial Max-SAT
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 CrossRef
NO MEU: ORCID
Página 3 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