One approach to synthesizing predicate circuits on the basis of generalized variables
From MaRDI portal
Publication:1759101
DOI10.3103/S0278641910040047zbMath1260.94097MaRDI QIDQ1759101
Publication date: 20 November 2012
Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
This page was built for publication: One approach to synthesizing predicate circuits on the basis of generalized variables