Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 64



31
TÍTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving  Full Text
AUTORES: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: J. Exp. Theor. Artif. Intell., VOLUME: 27, NÚMERO: 5
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
32
TÍTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving  Full Text
AUTORES: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, NÚMERO: 5
INDEXADO EM: CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
33
TÍTULO: Efficient Autarkies
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V ; Lynce, I ;
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 | CIÊNCIAVITAE
34
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 | CIÊNCIAVITAE
35
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 | CIÊNCIAVITAE
36
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
37
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 | CIÊNCIAVITAE
38
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
39
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
40
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
Página 4 de 7. Total de resultados: 64.

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