Daniel Diepold is an author at Universität Ulm specializing in automated reasoning, satisfiability, and engineering.
Top concepts
EngineeringSatisfiabilityAutomated ReasoningComputer ScienceDiscrete MathematicsComputational Complexity
Publications per year
2012–2014
2
2
Proceedings of SAT Competition 2014
Anton Belov, Daniel Diepold, Marijn J. H. Heule et al. · 2014 · 26 citations
Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions
Adrian Balint, Anton Belov, Daniel Diepold et al. · 2012 · 20 citations
Rows per page
1–2 of 2