I fell in love with optimisation problems but haven’t played with them in a while… What are some books to read more about non-linear optimisation that’s also n

I fell in love with optimisation problems but haven’t played with them in a while… What are some books to read more about non-linear optimisation that’s also non-machine learning (I’ve dabbled a lot with metaheuristics and genetic algorithms) but haven’t implemented a SAT solver (only played with what Prolog gives you)