基于OBDD的编码算法
기우OBDD적편마산법
A New Encoding Algorithm Based on OBDD