Ruben Carlos Gonçalves Martins
AuthID: R-001-JNM
11
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
Scopus12
TÃTULO: Incremental Cardinality Constraints for MaxSAT
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Ines Lynce;
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: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Ines Lynce;
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
WOS13
TÃTULO: Open-WBO: A Modular MaxSAT Solver
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
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
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
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
WOS14
TÃTULO: Community-based partitioning for MaxSAT solving
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7962 LNCS
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7962 LNCS
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef15
TÃTULO: An overview of parallel SAT solving Full Text
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2012, FONTE: CONSTRAINTS, VOLUME: 17, NÚMERO: 3
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2012, FONTE: CONSTRAINTS, VOLUME: 17, NÚMERO: 3
16
TÃTULO: Clause sharing in parallel MaxSAT
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS
INDEXADO EM: Scopus CrossRef
Scopus CrossRef17
TÃTULO: On Partitioning for Maximum Satisfiability
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2012, FONTE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2012, FONTE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXADO EM: Scopus WOS
Scopus WOS18
TÃTULO: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce ;
PUBLICAÇÃO: 2011, FONTE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce ;
PUBLICAÇÃO: 2011, FONTE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
19
TÃTULO: Improving Search Space Splitting for Parallel SAT Solving
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2010, FONTE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2010, FONTE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1
