David G. M. Mitchell

Author

Also Known As

A. Mitchell, D G Mitchell, D Mitchell, D. G. M. Mitchell, D. G. Mitchell, D. MITCHELL, D. Mitchell, D.G. Mitchell, D.G.M. Mitchell, DAVID MITCHELL

317

Publications

5.8K

Citations

H-Index

135

Concepts

All Affiliations

University of Notre Dame New Mexico State University Systems Technology (United States)Lund University Hoh Aeronautics (United States)

About

David G. M. Mitchell is an author at University of Notre Dame specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	26	59	1.9K
2	Management	4	4	112
3	Business	2	2	46
4	Health Sciences	2	2	36
5	Language Studies	1	1	11

David G. M. Mitchell

Publications

4.8K

Citations

H-Index

Page 1

	Year	Citations
A new method for solving hard satisfiability problems Bart Selman, Hector J. Levesque, David G. M. Mitchell	1992	1.2K
Hard and easy distributions of SAT problems David G. M. Mitchell, Bart Selman, Hector J. Levesque National Conference on Artificial Intelligence	1992	801
Generating hard satisfiability problems Bart Selman, David G. M. Mitchell, Hector J. Levesque Artificial Intelligence EngineeringAutomated ReasoningProof ComplexitySat SolvingFormal Methods	1996	297
Spatially Coupled LDPC Codes Constructed From Protographs David G. M. Mitchell, Michael Lentmaier, Daniel J. Costello IEEE Transactions on Information Theory	2015	291
Navigating the Wild West of Medication Adherence Reporting in Specialty Pharmacy Scott Canfield, Autumn D. Zuckerman, Rebekah H. Anguiano, Journal of Managed Care & Specialty Pharmacy Family MedicineSpecialty PharmacyMedication Possession RatioPharmacotherapyMedication Adherence Reporting	2019	121
Spatially coupled sparse codes on graphs: theory and practice Daniel J. Costello, Lara Dolecek, Thomas E. Fuja, IEEE Communications Magazine Low-density Parity CheckGraph SparsityEngineeringGraph TheoryShannon Limit	2014	91
A framework for representing and solving NP search problems David G. M. Mitchell, Eugenia Ternovska National Conference on Artificial Intelligence	2005	90
A SAT Solver Primer. David G. M. Mitchell Bulletin of the European Association for Theoretical Computer Science EngineeringAutomated ReasoningSat Solver PrimerSat SolvingFormal Methods	2005	81
Acute toxicity of Roundup® and Rodeo® herbicides to rainbow trout, chinook, and coho salmon David G. M. Mitchell, Peter M. Chapman, Timothy J. Long Bulletin of Environmental Contamination and Toxicology Coho SalmonEcotoxicityMedicinePoisoningRodeo® Herbicides	1987	68
Investigating The Role of Rate Limiting in Pilot-Induced Oscillations David H. Klyde, David G. M. Mitchell Journal of Guidance Control and Dynamics EngineeringMotor ControlControl SystemsFlight ControlStability	2004	64

Page 1