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. 1412-1419 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: stable matching, indifference, NP-hardness, exact exponential algorithm,