One approach to synthesizing predicate circuits on the basis of generalized variables

From MaRDI portal
Publication:1759101

DOI10.3103/S0278641910040047zbMath1260.94097MaRDI QIDQ1759101

M. S. Shupletsov

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