David G. Mitchell
- Generating hard satisfiability problems
1996/03/01 by Bart Selman, David G. M. Mitchell, David G. Mitchell +1 · 2 citations
Computer Science · #Bayesian Modeling and Causal Inference #Formal Methods in Verification #Software Testing and Debugging Techniques