Paulo Flores

Publications

901

Citations

H-Index

1999

Active since

Affiliations

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

Universidade Católica de Pelotas

University of Lisbon

Istanbul Technical University

Instituto Politécnico de Lisboa

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

ORCID

Top concepts

EngineeringComputer EngineeringComputer ScienceComputer ArchitectureParallel ComputingComputational ComplexitySignal ProcessingCombinatorial OptimizationSystems EngineeringApproximate Computing

Publications per year

1999–2014

Publications

Exact and Approximate Algorithms for the Optimization of Area and Delay in Multiple Constant Multiplications

Levent Aksoy, Eduardo Costa, Paulo Flores et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 123 citations

Mathematical Programming, Numerical Analysis, Large-scale Global Optimization +25

Search algorithms for the multiple constant multiplications problem: Exact and approximate

Levent Aksoy, Ece Olcay Güneş, Paulo Flores · Microprocessors and Microsystems · 2009 · 89 citations

Mathematical Programming, Computational Complexity Theory, Engineering +9

Prime implicant computation using satisfiability algorithms

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

Engineering, Verification, Computational Complexity +16

PMSat: a parallel version of MiniSAT

L. Gil, Paulo Flores, L. Miguel Silveira · Journal on Satisfiability Boolean Modeling and Computation · 2008 · 52 citations · Full text

Assignment and reordering of incompletely specified pattern sequences targetting minimum power dissipation

Paulo Flores, José Lino Costa, Horácio C. Neto et al. · 1999 · 52 citations

Mathematical Programming, Computational Complexity Theory, Engineering +22

Rows per page

1–5 of 30