Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 152



61
TÍTULO: Open-WBO: A modular MaxSAT solver
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
62
TÍTULO: Open-WBO: A Modular MaxSAT Solver
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: WOS
63
TÍTULO: Open-WBO: A Modular MaxSAT Solver,
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 71
NO MEU: ORCID | CIÊNCIAVITAE
64
TÍTULO: Progression in Maximum Satisfiability
AUTORES: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
TÍTULO: SAT Solvers
AUTORES: Joao Marques Silva ; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: Tractability: Practical Approaches to Hard Problems
INDEXADO EM: DBLP
NO MEU: DBLP
66
TÍTULO: Community-Based Partitioning for MaxSAT Solving
AUTORES: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 13
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: An overview of parallel SAT solving  Full Text
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: CONSTRAINTS, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: Clause Sharing in Parallel MaxSAT
AUTORES: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
69
TÍTULO: Efficient and accurate haplotype inference by combining parsimony and pedigree information
AUTORES: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTORES: Josep Argelichi; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
Página 7 de 16. Total de resultados: 152.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service