Development of an efficient logic function manipulation system for solving large-scale combiation problems and its application to logic design of sequential circuits (대규모 조합문제를 해결하기 위한 효율적인 논리함수 처리 시스템의 개발과 순서회로 설계에의 응용)
-
- The Journal of Korean Institute of Communications and Information Sciences
- /
- v.22 no.8
- /
- pp.1613-1621
- /
- 1997