André Mendes Lima

Publications

Citations

H-Index

2005

Active since

Affiliations

Universidade Estadual de Campinas (UNICAMP)(Current)

André Mendes Lima is an author at Universidade Estadual de Campinas (UNICAMP) specializing in formal methods, mathematical programming, and integer programming.

Top concepts

EngineeringGraph TheoryBranch And CutFormal MethodsComputer ScienceInteger ProgrammingOperations ResearchSystems EngineeringComputer EngineeringDiscrete Mathematics

Publications per year

2005–2005

Publications

The datapath merging problem in reconfigurable systems

Cid C. de Souza, André Mendes Lima, Guido Araújo et al. · ACM Journal of Experimental Algorithmics · 2005 · 22 citations

Mathematical Programming, Branch-and-bound Algorithm, Engineering +23

Rows per page

1–1 of 1