SAT Based Fitness Scoring for Digital Circuit Evolution

Mumtaz Ali, Osman Hasan. SAT Based Fitness Scoring for Digital Circuit Evolution. Journal of Circuits, Systems, and Computers, 27(6):1-23, 2018. [doi]

Abstract

Abstract is missing.