Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2024/09/01 Vol. E107-ANo. 9pp. 1441-1451 Type of Manuscript: INVITED PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Algorithms and Data Structures Keyword: graph counting algorithms, algorithm competitions, and ICGCA,
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers Masahiko SAKAIHidetomo NABESHIMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/06/01 Vol. E98-DNo. 6pp. 1121-1127 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Foundation Keyword: reduced ordered BDD, Pesudo-Boolean constraint, optimization problem,