Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor. Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundamenta Informaticae, 134(1-2):97-110, 2014. [doi]

@article{KonurGDIK14,
  title = {Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example},
  author = {Savas Konur and Marian Gheorghe and Ciprian Dragomir and Florentin Ipate and Natalio Krasnogor},
  year = {2014},
  doi = {10.3233/FI-2014-1093},
  url = {http://dx.doi.org/10.3233/FI-2014-1093},
  researchr = {https://researchr.org/publication/KonurGDIK14},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {134},
  number = {1-2},
  pages = {97-110},
}