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