A Satisfiability Algorithm for Synchronous Boolean Circuits Hiroki MORIZUMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2021/03/01 Vol. E104-DNo. 3 ;
pp. 392-393 Type of Manuscript: Special Section LETTER (Special Section on Foundations of Computer Science — New Trends of Theory of Computation and Algorithm —) Category: Keyword: circuit satisfiability problem, synchronous circuit, exact exponential algorithm, circuit complexity,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2018/09/01 Vol. E101-ANo. 9 ;
pp. 1431-1439 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: circuit complexity, energy complexity, MOD function, neural network, threshold circuit,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/02/01 Vol. E93-DNo. 2 ;
pp. 257-262 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science) Category: Keyword: circuit complexity, negation-limited circuit, inverter, NOT gate,