Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



61
TITLE: Community-Based Partitioning for MaxSAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLISHED: 2013, SOURCE: SAT, VOLUME: 7962 LNCS
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: DBLP
62
TITLE: An overview of parallel SAT solving
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: CONSTRAINTS, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 46
IN MY: DBLP
63
TITLE: Clause Sharing in Parallel MaxSAT
AUTHORS: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLISHED: 2012, SOURCE: LION, VOLUME: 7219 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: DBLP
64
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
65
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
66
TITLE: On Computing Minimal Equivalent Subformulas
AUTHORS: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: CP, VOLUME: 7514 LNCS
INDEXED IN: Scopus DBLP CrossRef: 9 Unpaywall
IN MY: DBLP
67
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: DBLP
68
TITLE: On When and How to use SAT to Mine Frequent Itemsets
AUTHORS: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.6253
INDEXED IN: DBLP
IN MY: DBLP
69
TITLE: PackUp: Tools for Package Upgradability Solving
AUTHORS: Mikolás Janota; Inês Lynce ; Vasco Manquinho; João Marques Silva ;
PUBLISHED: 2012, SOURCE: J. Satisf. Boolean Model. Comput., VOLUME: 8, ISSUE: 1/2
INDEXED IN: DBLP
IN MY: DBLP
70
TITLE: Parallel search for maximum satisfiability
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: DBLP
Page 7 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

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