Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



91
TÍTULO: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010
AUTORES: Inês Lynce ; Ralf Treinen;
PUBLICAÇÃO: 2010, FONTE: LoCoCo, VOLUME: 29
INDEXADO EM: DBLP
NO MEU: DBLP
92
TÍTULO: Solving Linux Upgradeability Problems Using Boolean Optimization
AUTORES: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Silva ; Pascal Rapicault;
PUBLICAÇÃO: 2010, FONTE: LoCoCo
INDEXADO EM: DBLP
NO MEU: DBLP
93
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 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: DBLP
94
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: 27 Unpaywall
NO MEU: ORCID | DBLP
95
TÍTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization
AUTORES: Delgado, J; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2009, FONTE: 7th Annual RECOMB on Comparative Genomic in COMPARATIVE GENOMICS, PROCEEDINGS, VOLUME: 5817
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
96
TÍTULO: Conflict-Driven Clause Learning SAT Solvers
AUTORES: João Marques Silva ; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2009, FONTE: Handbook of Satisfiability, VOLUME: 185, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 42
NO MEU: DBLP
97
TÍTULO: On Improving Local Search for Unsatisfiability
AUTORES: David Pereira; Inês Lynce ; Steven D Prestwich;
PUBLICAÇÃO: 2009, FONTE: LSCS
INDEXADO EM: DBLP
NO MEU: DBLP
98
TÍTULO: On Solving Boolean Multilevel Optimization Problems
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
99
TÍTULO: Regular Encodings from Max-CSP into Partial Max-SAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLICAÇÃO: 2009, FONTE: ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
100
TÍTULO: Restoring CSP Satisfiability with MaxSAT
AUTORES: Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: RCRA@AI*IA, VOLUME: 589, NÚMERO: 2-3
INDEXADO EM: Scopus DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID | DBLP
Página 10 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