reduced and ordered binary decision diagrams (ROBDDs) are compact data structures used for representing logic functions. The ROBDD size is very sensitive to the chosen variable ordering of the logical function. The au...
详细信息
reduced and ordered binary decision diagrams (ROBDDs) are compact data structures used for representing logic functions. The ROBDD size is very sensitive to the chosen variable ordering of the logical function. The authors propose a methodology based on simulated annealing (SA) algorithms and on genetic algorithms (GAs) for optimising ROBDDs.
暂无评论