Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



81
TITLE: Apt-pbo. solving the software dependency problem using pseudo-boolean optimization
AUTHORS: Paulo Trezentos; Inês Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
INDEXED IN: CrossRef: 21
IN MY: ORCID | CIÊNCIAVITAE
82
TITLE: Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
AUTHORS: Paulo Trezentos; Inês Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: ASE
INDEXED IN: Scopus DBLP
IN MY: DBLP
83
TITLE: Boolean Lexicographic Optimization
AUTHORS: João Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLISHED: 2010, SOURCE: RCRA@CPAIOR, VOLUME: 616
INDEXED IN: Scopus DBLP
IN MY: DBLP
84
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTHORS: Delgado, J; Lynce, I ; Manquinho, V ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: DBLP
85
TITLE: Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
AUTHORS: Ana Graça; Inês Lynce ; João Marques Silva ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: ANB, VOLUME: 6479 LNCS
INDEXED IN: Scopus DBLP CrossRef: 9 Unpaywall
IN MY: DBLP
86
TITLE: Haplotype Inference by Pure Parsimony: A Survey
AUTHORS: Graça, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 8 Unpaywall
IN MY: DBLP
87
TITLE: Improving Search Space Splitting for Parallel SAT Solving
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: DBLP
88
TITLE: Improving Unsatisfiability-Based Algorithms for Boolean Optimization
AUTHORS: Manquinho, V ; Martins, R; Lynce, I ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: DBLP
89
TITLE: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLISHED: 2010, SOURCE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
90
TITLE: On Computing Backbones of Propositional Theories
AUTHORS: Marques Silva, J ; Janota, M; Lynce, I ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
Page 9 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service