Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 62



11
TITLE: Towards efficient MUS extraction  Full Text
AUTHORS: Belov, A; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
12
TITLE: Boolean lexicographic optimization: algorithms & applications  Full Text
AUTHORS: Marques Silva, J ; Argelich, J; Graca, A; Lynce, I ;
PUBLISHED: 2011, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
13
TITLE: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce ;
PUBLISHED: 2011, SOURCE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
14
TITLE: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in ANNALS OF OPERATIONS RESEARCH, VOLUME: 184, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
15
TITLE: On Improving MUS Extraction Algorithms
AUTHORS: Marques Silva, J ; Lynce, I ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
16
TITLE: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 107, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
17
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
18
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTHORS: Joao Delgado; Ines Lynce ; Vasco Manquinho;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
19
TITLE: Haplotype Inference by Pure Parsimony: A Survey
AUTHORS: Ana Graca; Ines Lynce ; Joao Marques Silva ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
20
TITLE: Improving Search Space Splitting for Parallel SAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
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 CrossRef
IN MY: ORCID
Page 2 of 7. Total results: 62.

A place for researchers and their institutions

Useful Links

Get Help

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