SC^2 Challenges: When Satisfiability Checking and Symbolic Computation Join Forces
Silicone Gel Compounds for Medium and High Voltage Insulation with Nonlinear Stress Grading - State of the Art