Ruben Martins
Título
Citado por
Citado por
Año
Open-WBO: A modular MaxSAT solver
R Martins, V Manquinho, I Lynce
International Conference on Theory and Applications of Satisfiability …, 2014
1272014
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
International Conference on Principles and Practice of Constraint …, 2014
682014
Component-based synthesis of table consolidation and transformation tasks from examples
Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri
ACM SIGPLAN Notices 52 (6), 422-436, 2017
652017
Component-based synthesis for complex APIs
Y Feng, R Martins, Y Wang, I Dillig, TW Reps
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
642017
An overview of parallel SAT solving
R Martins, V Manquinho, I Lynce
Constraints 17 (3), 304-347, 2012
632012
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
442018
Automated synthesis of semantic malware signatures using maximum satisfiability
Y Feng, O Bastani, R Martins, I Dillig, S Anand
arXiv preprint arXiv:1608.06254, 2016
422016
Improving Search Space Splitting for Parallel SAT Solving
R Martins, V Manquinho, I Lynce
International Conference on Tools with Artificial Intelligence, 313-320, 2010
302010
Generalized totalizer encoding for pseudo-Boolean constraints
S Joshi, R Martins, V Manquinho
International conference on principles and practice of constraint …, 2015
292015
Community-based Partitioning for MaxSAT Solving
R Martins, V Manquinho, I Lynce
International Conference on Theory and Applications of Satisfiability …, 2013
272013
Parallel search for maximum satisfiability
R Martins, V Manquinho, I Lynce
AI Communications 25 (2), 75-95, 2012
252012
Improving unsatisfiability-based algorithms for boolean optimization
V Manquinho, R Martins, I Lynce
International Conference on Theory and Applications of Satisfiability …, 2010
242010
Successful use of incremental BMC in the automotive industry
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015
23*2015
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
R Martins, V Manquinho, I Lynce
International Conference on Tools with Artificial Intelligence, 313-320, 2011
232011
Exploiting resolution-based representations for MaxSAT solving
M Neves, R Martins, M Janota, I Lynce, V Manquinho
International Conference on Theory and Applications of Satisfiability …, 2015
172015
Incremental bounded model checking for embedded software
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
Formal Aspects of Computing 29 (5), 911-931, 2017
132017
On Partitioning for Maximum Satisfiability
R Martins, V Manquinho, I Lynce
European Conference on Artificial Intelligence, 2012
122012
Clause Sharing in Parallel MaxSAT
R Martins, V Manquinho, I Lynce
Learning and Intelligent Optimization Conference, 2012
112012
Parallel Search for Boolean Optimization
R Martins, V Manquinho, I Lynce
RCRA International Workshop on Experimental Evaluation of Algorithms for …, 2011
112011
Hunter: next-generation code reuse for java
Y Wang, Y Feng, R Martins, A Kaushik, I Dillig, SP Reiss
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
10*2016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20