Circuit minimization problem