42
Publications
4.2K
Citations
24
H-Index
1981
Active since
Affiliations
Matthew L. Ginsberg is an author at Stanford University specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringAutomated ReasoningComputer ScienceFormal MethodsArtificial IntelligenceCombinatorial OptimizationData ScienceVerificationComputational ComplexityBusiness
Publications per year
1981–2023
42
42
William D. Harvey, Matthew L. Ginsberg · 1995 · 514 citations
Symmetry-breaking predicates for search problems
James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks et al. · 1996 · 416 citations
Matthew L. Ginsberg, David E. Smith · Artificial Intelligence · 1988 · 254 citations
Reasoning, Situational Reasoning, Behavioral Decision Making +5
Rows per page
1–5 of 42