Boolean logic function synthesis for generalised threshold gate circuits | IEEE Conference Publication | IEEE Xplore