Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 152



61
TITLE: Open-WBO: A modular MaxSAT solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
62
TITLE: Open-WBO: A Modular MaxSAT Solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
INDEXED IN: WOS
63
TITLE: Open-WBO: A Modular MaxSAT Solver,
AUTHORS: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
INDEXED IN: Scopus DBLP CrossRef: 71
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: Progression in Maximum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
65
TITLE: SAT Solvers
AUTHORS: Joao Marques Silva ; Inês Lynce ;
PUBLISHED: 2014, SOURCE: Tractability: Practical Approaches to Hard Problems
INDEXED IN: DBLP
IN MY: DBLP
66
TITLE: Community-Based Partitioning for MaxSAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | CIÊNCIAVITAE
67
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 | CIÊNCIAVITAE
68
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 | CIÊNCIAVITAE
69
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
70
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
Page 7 of 16. Total results: 152.

footer slogan

Useful Links

Get Help

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