Research papers [Synthesizer] W. V. Quine: The Problem of Simplifying Truth Functions. 1952 W. V. Quine: A Way to Simplify Truth Functions. 1955 E. J. McCLUSKEY, Jr.: Minimization of Boolean Functions. 1956 António Ferreira da Silva, Adriano A. Santos: A Simulation Tool Using AI Technics and Karnaugh Maps for Learning and Control Digital Pneumatics. 2019 Shanka Subhra Mondal, Abhilash Nandy, Ritesh Agrawal, Debashis Sen: KarNet: An Efficient Boolean Function Simplifier. 2019 Urvashi Kodwani, Sonal Rajurkar, Prof. S. G. Mundada: Realization of Sequential Circuit using Finite state Machine. 2017 Pinaki Chakraborty, P.C. Saxena, C.P. Katti: Fifty Years of Automata Simulation: A Review. 2011