Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 155



61
TÍTULO: Incremental Cardinality Constraints for MaxSAT
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, VOLUME: 8656
INDEXADO EM: Scopus DBLP CrossRef: 36
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
62
TÍTULO: Inferring phylogenetic trees using pseudo-Boolean optimization  Full Text
AUTORES: Miranda, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
63
TÍTULO: On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 9, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
64
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
65
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
66
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 | DBLP | CIÊNCIAVITAE
67
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 CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
68
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
69
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 | DBLP | CIÊNCIAVITAE
70
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 | DBLP | CIÊNCIAVITAE
Página 7 de 16. Total de resultados: 155.

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

Links Úteis

Ajuda

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