Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 152



91
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
92
TITLE: Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization
AUTHORS: Trezentos, P; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2010, SOURCE: 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10 in ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
93
TITLE: Boolean Lexicographic Optimization PDF
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLISHED: 2010, SOURCE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
94
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: ORCID | CIÊNCIAVITAE
95
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: Algebraic and Numeric Biology - 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers, VOLUME: 6479
INDEXED IN: DBLP Unpaywall
IN MY: DBLP
96
TITLE: Haplotype Inference by Pure Parsimony: A Survey
AUTHORS: Graca, 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: ORCID | CIÊNCIAVITAE
97
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: ORCID | DBLP | CIÊNCIAVITAE
98
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: 9
IN MY: ORCID | CIÊNCIAVITAE
99
TITLE: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, 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: ORCID | DBLP | CIÊNCIAVITAE
100
TITLE: On Computing Backbones of Propositional Theories
AUTHORS: Joao Marques Silva ; Mikolas Janota; Ines Lynce ;
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 10 of 16. Total results: 152.

footer slogan

Useful Links

Get Help

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