1
TITLE: Community-based partitioning for MaxSAT solving
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7962 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: An overview of parallel SAT solving  Full Text
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLISHED: 2012, SOURCE: CONSTRAINTS, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Clause sharing in parallel MaxSAT
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
4
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: 9
IN MY: ORCID
5
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
6
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 Unpaywall
IN MY: ORCID
7
TITLE: On Partitioning for Maximum Satisfiability
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
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
IN MY: ORCID
8
TITLE: Parallel search for maximum satisfiability
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
9
TITLE: Reasoning over biological networks using maximum satisfiability
AUTHORS: Guerra, J; Lynce, I ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7514 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
10
TITLE: Satisfiability: Where theory meets Practice
AUTHORS: Lynce, I ;
PUBLISHED: 2012, SOURCE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 16
INDEXED IN: Scopus
IN MY: ORCID
Page 1 of 7. Total results: 62.