Vasco Manquinho

Cited by

	All	Since 2019
Citations	2290	1014
h-index	23	14
i10-index	48	29

220

110

165

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 6 6 11 13 11 33 38 48 64 82 89 92 125 101 117 105 141 159 140 150 212 156 171 179

Public access

View all

34 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaVerified email at tecnico.ulisboa.pt
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Mikoláš JanotaCTU PragueVerified email at cvut.cz
Pedro OrvalhoINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Saurabh JoshiSupraOraclesVerified email at cse.iith.ac.in
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
Daniel RamosCarnegie Mellon University, University of LisbonVerified email at cmu.edu
António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaVerified email at arsr.inesc-id.pt
Jordi PlanesUniversitat de LleidaVerified email at udl.cat
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Rui HenriquesAssistant Professor at IST, Associate Researcher at INESC-IDVerified email at tecnico.ulisboa.pt
José Rui FigueiraCEGIST, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Claire Le GouesCarnegie Mellon UniversityVerified email at cs.cmu.edu
Paulo FloresINESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa (ULisboa)Verified email at inesc-id.pt
Andreia P. GuerreiroINESC-IDVerified email at dei.uc.pt
Aidan Z.H. YangCarnegie Mellon UniversityVerified email at cmu.edu
Ansong NiPhD Student, Yale UniversityVerified email at yale.edu
Karem A SakallahUniversity of MichiganVerified email at umich.edu

Vasco Manquinho

INESC-ID, Instituto Superior Técnico - Universidade de Lisboa

Verified email at inesc-id.pt - Homepage

Boolean Optimization Maximum Satisfiability Pseudo-Boolean Satisfiability Multi-Objective Combinatorial Optimization


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 Theory and Applications of Satisfiability Testing–SAT 2014, 438-445, 2014	267	2014
Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009	205	2009
Pseudo-Boolean and cardinality constraints O Roussel, V Manquinho Handbook of satisfiability, 1087-1129, 2021	168	2021
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce Principles and Practice of Constraint Programming: 20th International …, 2014	121	2014
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17, 304-347, 2012	86	2012
Prime implicant computation using satisfiability algorithms VM Manquinho, PF Flores, JPM Silva, AL Oliveira Proceedings Ninth IEEE International Conference on Tools with Artificial …, 1997	84	1997
The first evaluation of pseudo-Boolean solvers (PB’05) VM Manquinho, O Roussel Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 103-143, 2006	76	2006
On using cutting planes in pseudo-boolean optimization VM Manquinho, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 209-219, 2006	74	2006
Generalized totalizer encoding for pseudo-boolean constraints S Joshi, R Martins, V Manquinho Principles and Practice of Constraint Programming: 21st International …, 2015	65	2015
Towards more effective unsatisfiability-based maximum satisfiability algorithms J Marques-Silva, V Manquinho International Conference on Theory and Applications of Satisfiability …, 2008	65	2008
Search pruning techniques in SAT-based branch-and-bound algorithms for the binate covering problem VM Manquinho, JP Marques-Silva IEEE Transactions on computer-Aided Design of integrated Circuits and …, 2002	61	2002
Effective lower bounding techniques for pseudo-Boolean optimization [EDA applications] VM Manquinho, J Marques-Silva Design, Automation and Test in Europe, 660-665, 2005	50	2005
Improving search space splitting for parallel SAT solving R Martins, V Manquinho, I Lynce 2010 22nd IEEE International Conference on Tools with Artificial …, 2010	43	2010
Progression in maximum satisfiability A Ignatiev, A Morgado, V Manquinho, I Lynce, J Marques-Silva ECAI 2014, 453-458, 2014	37	2014
Community-based partitioning for maxsat solving R Martins, V Manquinho, I Lynce Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013	36	2013
Improving unsatisfiability-based algorithms for boolean optimization V Manquinho, R Martins, I Lynce Theory and Applications of Satisfiability Testing–SAT 2010, 181-193, 2010	34	2010
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability R Martins, V Manquinho, I Lynce International Conference on Tools with Artiﬁcial Intelligence, 313–320, 2011	33	2011
Soar: a synthesis approach for data science api refactoring A Ni, D Ramos, AZH Yang, I Lynce, V Manquinho, R Martins, C Le Goues 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021	30	2021
Parallel search for maximum satisfiability R Martins, V Manquinho, I Lynce AI Communications 25 (2), 75-95, 2012	30	2012
SQUARES: a SQL synthesizer using query reverse engineering P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho Proceedings of the VLDB Endowment 13 (12), 2853-2856, 2020	28	2020

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

Follow

Cited by

Co-authors