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]

Abstract

Abstract is missing.