Paul T. Darga is an author at University of Michigan specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationSystem SoftwareProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2004–2008
4
4
Exploiting structure in symmetry detection for CNF
Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah et al. · 2004 · 156 citations
Circuit Complexity, Engineering, Structural Pattern Recognition +21
Faster symmetry discovery using sparsity of symmetries
Paul T. Darga, Karem A. Sakallah, Igor L. Markov · 2008 · 107 citations
Efficient software model checking of soundness of type systems
Michael Roberson, Melanie Harries, Paul T. Darga et al. · 2008 · 28 citations
Rows per page
1–4 of 4