Ruben Martins - Google Scholar Citations

Cited by

	All	Since 2014
Citations	662	570
h-index	15	13
i10-index	20	16

180

135

20112012201320142015201620172018201911 21 53 29 63 80 118 162 118

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 iith.ac.in
Daniel KroeningProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.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
Saswat AnandGoogleVerified email at cs.stanford.edu
Miguel Terra-NevesPhD Student, INESC-ID/IST, University of LisbonVerified email at sat.inesc-id.pt
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Swarat ChaudhuriAssociate Professor of Computer Science, Rice UniversityVerified email at rice.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	Cited by	Year
Open-WBO: A modular MaxSAT solver R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014	107	2014
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014	62	2014
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012	57	2012
Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps ACM SIGPLAN Notices 52 (1), 599-612, 2017	47*	2017
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	41	2017
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	30	2016
Improving Search Space Splitting for Parallel SAT Solving R Martins, V Manquinho, I Lynce International Conference on Tools with Artificial Intelligence, 313-320, 2010	30	2010
Community-based Partitioning for MaxSAT Solving R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2013	25	2013
Parallel search for maximum satisfiability R Martins, V Manquinho, I Lynce AI Communications 25 (2), 75-95, 2012	25	2012
Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018	24	2018
Improving unsatisfiability-based algorithms for boolean optimization V Manquinho, R Martins, I Lynce International Conference on Theory and Applications of Satisfiability …, 2010	24	2010
Generalized totalizer encoding for pseudo-Boolean constraints S Joshi, R Martins, V Manquinho International conference on principles and practice of constraint …, 2015	23	2015
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	22*	2015
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability R Martins, V Manquinho, I Lynce International Conference on Tools with Artificial Intelligence, 313-320, 2011	22	2011
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	15	2015
Parallel Search for Boolean Optimization R Martins, V Manquinho, I Lynce RCRA International Workshop on Experimental Evaluation of Algorithms for …, 2011	13	2011
On Partitioning for Maximum Satisfiability R Martins, V Manquinho, I Lynce European Conference on Artificial Intelligence, 2012	12	2012
Clause Sharing in Parallel MaxSAT R Martins, V Manquinho, I Lynce Learning and Intelligent Optimization Conference, 2012	11	2012
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	10	2017
Automatic generation of propagation complete SAT encodings M Brain, L Hadarean, D Kroening, R Martins International Conference on Verification, Model Checking, and Abstract …, 2016	10	2016

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