Giovanni De Micheli. 1994. Synthesis and Optimization of
Digital Circuits (1st. ed.). McGraw-Hill Higher
Education.
Laung-Terng Wang, Yao-Wen Chang, and Kwang-Ting (Tim)
Cheng. 2009. Logic synthesis in a nutshell. Electronic
Design Automation: Synthesis, Verification, and Test.
Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
299-404.
Soha Hassoun and Tsutomu Sasao (Eds.). 2001. Logic
Synthesis and Verification. Kluwer Academic Publishers,
USA.
Gary D. Hachtel and Fabio Somenzi. 2000. Logic Synthesis
and Verification Algorithms (1st. ed.). Kluwer Academic
Publishers, USA.
Donald E. Knuth. 2011. The Art of Computer Programming:
Combinatorial Algorithms, Part 1 (1st. ed.).
Addison-Wesley Professional.
A. Biere, A. Biere, M. Heule, H. van Maaren, and T.
Walsh. 2009. Handbook of Satisfiability: Volume 185
Frontiers in Artificial Intelligence and Applications.
IOS Press, NLD.
Aaron R. Bradley and Zohar Manna. 2007. The Calculus of
Computation: Decision Procedures with Applications to
Verification. Springer-Verlag, Berlin, Heidelberg.