Logical evolution method for learning Boolean functions | IEEE Conference Publication | IEEE Xplore