Nowadays, logic optimization is more than finding the theoretically best logical circuit. You need to consider the fanout, gate size, delay for each cells, power consumption, end-to-end overall delay...
But having a good algorithm is a must and if you have one, you have a great chance although...