Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 156



71
TITLE: An overview of parallel SAT solving  Full Text
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: CONSTRAINTS, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 43
IN MY: ORCID | DBLP | CIÊNCIAVITAE
72
TITLE: Clause Sharing in Parallel MaxSAT
AUTHORS: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers, VOLUME: 7219
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
73
TITLE: Efficient and accurate haplotype inference by combining parsimony and pedigree information
AUTHORS: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Algebraic and Numeric Biology, ANB 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6479 LNCS
INDEXED IN: Scopus CrossRef: 8
IN MY: ORCID | CIÊNCIAVITAE
74
TITLE: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTHORS: Josep Argelichi; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLISHED: 2012, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, ISSUE: 1-3
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
75
TITLE: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTHORS: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLISHED: 2012, SOURCE: J. Multiple Valued Log. Soft Comput., VOLUME: 19, ISSUE: 1-3
INDEXED IN: DBLP
IN MY: DBLP
76
TITLE: On Computing Minimal Equivalent Subformulas
AUTHORS: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, VOLUME: 7514
INDEXED IN: Scopus DBLP CrossRef: 9 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
77
TITLE: On Partitioning for Maximum Satisfiability
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
78
TITLE: On When and How to use SAT to Mine Frequent Itemsets PDF
AUTHORS: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.6253
INDEXED IN: DBLP arXiv
IN MY: DBLP
79
TITLE: PackUp: Tools for Package Upgradability Solving PDF
AUTHORS: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 1/2
INDEXED IN: DBLP
IN MY: DBLP
80
TITLE: Parallel search for maximum satisfiability  Full Text
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 8 of 16. Total results: 156.

footer slogan

Useful Links

Get Help

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