J.P. Marques Silva

Statistics

Publications

Citations

420

H-Index

Active since

2002

Affiliations

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

University of Michigan

Cadence Design Systems (United States)

J.P. Marques Silva is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceComputational ComplexityData ScienceSatisfiabilityProgram AnalysisSoftware TestingAutomated ReasoningFormal Verification

Publications per year

2002–2005

Publications

GRASP-A new search algorithm for satisfiability

J.P. Marques Silva, Karem A. Sakallah · 2002 · 365 citations

Engineering, Satisfiability Problem, Sat Algorithms +17

Conflict analysis in search algorithms for satisfiability

J.P. Marques Silva, Karem A. Sakallah · 2005 · 43 citations

Artificial Intelligence, Engineering, Verification +16

Integer programming models for optimization problems in test generation

J.P. Marques Silva · 2002 · 12 citations

Mathematical Programming, Engineering, Test Data Generation +19

1–3 of 3