Vasco Manquinho

Cited by

	All	Since 2020
Citations	2396	975
h-index	23	14
i10-index	50	27

240

120

180

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 7 6 10 13 11 36 38 49 62 83 85 93 120 109 116 110 142 156 141 154 212 161 176 221 49

Public access

View all

36 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 OrvalhoUniversity of OxfordVerified email at cs.ox.ac.uk
Saurabh JoshiSupraOraclesVerified email at cse.iith.ac.in
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaVerified email at arsr.inesc-id.pt
Daniel RamosCarnegie Mellon University, University of LisbonVerified email at cmu.edu
Jordi PlanesUniversitat de LleidaVerified email at udl.cat
Claire Le GouesCarnegie Mellon UniversityVerified email at cs.cmu.edu
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
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
Ricardo BrancasPhD Student, Instituto Superior TécnicoVerified email at tecnico.ulisboa.pt
Ansong NiPhD Student, Yale UniversityVerified email at yale.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	281	2014
Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009	206	2009
Pseudo-Boolean and cardinality constraints O Roussel, V Manquinho Handbook of satisfiability, 1087-1129, 2021	171	2021
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce Principles and Practice of Constraint Programming: 20th International …, 2014	123	2014
An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17, 304-347, 2012	93	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	88	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	78	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	67	2015
Towards more effective unsatisfiability-based maximum satisfiability algorithms J Marques-Silva, V Manquinho International Conference on Theory and Applications of Satisfiability …, 2008	66	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	62	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	45	2010
Community-based partitioning for maxsat solving R Martins, V Manquinho, I Lynce Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013	38	2013
Progression in maximum satisfiability A Ignatiev, A Morgado, V Manquinho, I Lynce, J Marques-Silva ECAI 2014, 453-458, 2014	37	2014
Improving unsatisfiability-based algorithms for boolean optimization V Manquinho, R Martins, I Lynce Theory and Applications of Satisfiability Testing–SAT 2010, 181-193, 2010	35	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	34	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	33	2021
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	31	2020
Parallel search for maximum satisfiability R Martins, V Manquinho, I Lynce AI Communications 25 (2), 75-95, 2012	30	2012

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