Ruben Martins

Cited by

	All	Since 2016
Citations	1084	884
h-index	16	13
i10-index	24	19

240

120

180

2011201220132014201520162017201820192020202110 21 55 33 56 78 123 176 237 236 24

Co-authors

Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Yu FengUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
Isil DilligUT AustinVerified email at cs.utexas.edu
Saurabh JoshiIIT HyderabadVerified email at cse.iith.ac.in
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Saswat AnandGoogleVerified email at cs.stanford.edu
Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Christoph M. WintersteigerMicrosoft ResearchVerified email at microsoft.com
Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
Edward ZulkoskiPh. D., University of WaterlooVerified email at gsd.uwaterloo.ca
Liana HadareanSynopsysVerified email at synopsys.com

Ruben Martins

Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage

Constraint Programming - Boolean Satisfiability and Optimization - Software Verification - Program Synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Open-WBO: A modular MaxSAT solver R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014	165	2014
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	100	2017
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	91	2017
Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018	75	2018
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014	75	2014
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012	69	2012
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	56	2016
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	43*	2015
Improving Search Space Splitting for Parallel SAT Solving R Martins, V Manquinho, I Lynce International Conference on Tools with Artificial Intelligence, 313-320, 2010	35	2010
Generalized totalizer encoding for pseudo-boolean constraints S Joshi, R Martins, V Manquinho International conference on principles and practice of constraint …, 2015	34	2015
Community-based Partitioning for MaxSAT Solving R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2013	30	2013
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability R Martins, V Manquinho, I Lynce International Conference on Tools with Artificial Intelligence, 313-320, 2011	28	2011
Parallel search for maximum satisfiability R Martins, V Manquinho, I Lynce AI Communications 25 (2), 75-95, 2012	26	2012
Improving unsatisfiability-based algorithms for boolean optimization V Manquinho, R Martins, I Lynce International Conference on Theory and Applications of Satisfiability …, 2010	25	2010
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	18	2015
Approximation strategies for incomplete MaxSAT S Joshi, P Kumar, R Martins, S Rao International Conference on Principles and Practice of Constraint …, 2018	17	2018
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	15*	2016
Maximal multi-layer specification synthesis Y Chen, R Martins, Y Feng Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019	13	2019
On Partitioning for Maximum Satisfiability R Martins, V Manquinho, I Lynce European Conference on Artificial Intelligence, 2012	13	2012
Parallel Search for Boolean Optimization R Martins, V Manquinho, I Lynce RCRA International Workshop on Experimental Evaluation of Algorithms for …, 2011	13	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors