Vasco Manquinho

Publications

496

Citations

H-Index

2000

Active since

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

University of Lisbon

University College Dublin

Cadence Design Systems (United States)

Vasco Manquinho is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in engineering, computer science, and satisfiability.

ORCID

Top concepts

EngineeringComputer ScienceSatisfiabilityCombinatorial OptimizationFormal MethodsComputational ComplexityAutomated ReasoningComputer EngineeringData ScienceFormal Verification

Publications per year

2000–2022

Publications

Prime implicant computation using satisfiability algorithms

Vasco Manquinho, Paulo Flores, J.P.M. Silva et al. · 2002 · 62 citations

Engineering, Verification, Computational Complexity +16

An overview of parallel SAT solving

Ruben Martins, Vasco Manquinho, Inês Lynce · Constraints · 2012 · 60 citations

Mathematical Programming, Engineering, Parallel Problem Solving +8

The First Evaluation of Pseudo-Boolean Solvers (PB’05)

Vasco Manquinho, Olivier Roussel · Journal on Satisfiability Boolean Modeling and Computation · 2006 · 46 citations · Full text

On Using Cutting Planes in Pseudo-Boolean Optimization

Vasco Manquinho, João Marques‐Silva · Journal on Satisfiability Boolean Modeling and Computation · 2006 · 42 citations · Full text

Search pruning techniques in SAT-based branch-and-bound algorithms for the binate covering problem

Vasco Manquinho, João Marques‐Silva · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 39 citations

Branch-and-bound Algorithm, Engineering, Electronic Design Automation +23

Rows per page

1–5 of 19