Contributors to Logic Optimization