A synthesis algorithm for two-level XOR based circuits | IEEE Conference Publication | IEEE Xplore