Dominik Scheder is an author at ETH Zurich specializing in discrete mathematics, engineering, and satisfiability.
Top concepts
EngineeringSatisfiabilityComputer ScienceDiscrete MathematicsComputational ComplexityMathematical ProgrammingCombinatorial OptimizationFormal MethodsAutomated ReasoningFormal Verification
Publications per year
2010–2018
4
4
Rows per page
1–4 of 4