Mumtaz Ali, Osman Hasan. SAT Based Fitness Scoring for Digital Circuit Evolution. Journal of Circuits, Systems, and Computers, 27(6):1-23, 2018. [doi]
@article{AliH18-0,
title = {SAT Based Fitness Scoring for Digital Circuit Evolution},
author = {Mumtaz Ali and Osman Hasan},
year = {2018},
doi = {10.1142/S0218126618500998},
url = {https://doi.org/10.1142/S0218126618500998},
researchr = {https://researchr.org/publication/AliH18-0},
cites = {0},
citedby = {0},
journal = {Journal of Circuits, Systems, and Computers},
volume = {27},
number = {6},
pages = {1-23},
}