OPKFDDs (Ordered Pseudo-Kronecker Functional Decision Diagrams) are a data structure that provides compact representation of Boolean functions. The size of OPKFDDs depends on a variable ordering and on decomposition type choices. Finding an optimal representation is very hard and the size of the search space is n!
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Migyoung JUNG, Gueesang LEE, Sungju PARK, Rolf DRECHSLER, "A Genetic Algorithm for the Minimization of OPKFDDs" in IEICE TRANSACTIONS on Fundamentals,
vol. E85-A, no. 12, pp. 2943-2945, December 2002, doi: .
Abstract: OPKFDDs (Ordered Pseudo-Kronecker Functional Decision Diagrams) are a data structure that provides compact representation of Boolean functions. The size of OPKFDDs depends on a variable ordering and on decomposition type choices. Finding an optimal representation is very hard and the size of the search space is n!
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e85-a_12_2943/_p
Copy
@ARTICLE{e85-a_12_2943,
author={Migyoung JUNG, Gueesang LEE, Sungju PARK, Rolf DRECHSLER, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A Genetic Algorithm for the Minimization of OPKFDDs},
year={2002},
volume={E85-A},
number={12},
pages={2943-2945},
abstract={OPKFDDs (Ordered Pseudo-Kronecker Functional Decision Diagrams) are a data structure that provides compact representation of Boolean functions. The size of OPKFDDs depends on a variable ordering and on decomposition type choices. Finding an optimal representation is very hard and the size of the search space is n!
keywords={},
doi={},
ISSN={},
month={December},}
Copy
TY - JOUR
TI - A Genetic Algorithm for the Minimization of OPKFDDs
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2943
EP - 2945
AU - Migyoung JUNG
AU - Gueesang LEE
AU - Sungju PARK
AU - Rolf DRECHSLER
PY - 2002
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E85-A
IS - 12
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - December 2002
AB - OPKFDDs (Ordered Pseudo-Kronecker Functional Decision Diagrams) are a data structure that provides compact representation of Boolean functions. The size of OPKFDDs depends on a variable ordering and on decomposition type choices. Finding an optimal representation is very hard and the size of the search space is n!
ER -