Ruben Carlos Gonçalves Martins
AuthID: R-001-JNM
11
TÃTULO: Parallel Maximum Satisfiability
AUTORES: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning.
AUTORES: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning.
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP12
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
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
Scopus DBLP13
TÃTULO: Deterministic Parallel MaxSAT Solving Full Text
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
14
TÃTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving Full Text
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 27, NÚMERO: 5
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 27, NÚMERO: 5
INDEXADO EM: Scopus 
WOS
Scopus WOS15
TÃTULO: Generalized Totalizer Encoding for Pseudo-Boolean Constraints
AUTORES: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
AUTORES: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
16
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
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, NÚMERO: 5
17
TÃTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
18
TÃTULO: Towards visualizing the mapping incoherences in BioPortal
AUTORES: Martins, C; Jimenez Ruiz, E; Santos, E; Pesquita, C;
PUBLICAÇÃO: 2015, FONTE: International Conference on Biomedical Ontology, ICBO 2015 in CEUR Workshop Proceedings, VOLUME: 1515
AUTORES: Martins, C; Jimenez Ruiz, E; Santos, E; Pesquita, C;
PUBLICAÇÃO: 2015, FONTE: International Conference on Biomedical Ontology, ICBO 2015 in CEUR Workshop Proceedings, VOLUME: 1515
INDEXADO EM: Scopus
Scopus19
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
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
20
TÃTULO: Incremental Cardinality Constraints for MaxSAT PDF
AUTORES: Martins, R; Joshi, S; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
AUTORES: Martins, R; Joshi, S; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXADO EM: WOS DBLP 
arXiv
WOS DBLP arXiv