Synthesis of threshold logic circuits using tree matching | IEEE Conference Publication | IEEE Xplore