Logic Synthesis And Verification Algorithms by Hachtel and Somenzi
the copy I have is copyright '96, not sure if it's been updated.
The book is considerably out of date, but a lot of the concepts and definitions are still relevant.
https://www.eng.biu.ac.il/temanad/files/2018/11/Lecture-4-Sy...
A good starting point for more modern techniques would be something like this:
https://people.eecs.berkeley.edu/~alanmi/publications/2006/t...
I don't know how up-to-date the information is. Two of the authors (Korte, Vygen) wrote a textbook on combinatorial optimization. I haven't read it and I don't know enough about the subject to be able to say how useful the contents are to VLSI design. I think they focus more on the theory than the application: https://link.springer.com/book/10.1007/978-3-662-56039-6