커드 패키지 : 이진 decison 다이어그램

Question

누구든지 커드 패키지에 좋은 자료를 가리킬 수 있습니다. 나는 여기서 간결한 문제를 찾고있다. http://vlsi.colorado.edu/~fabio/CUDD/에있는 것은이 문제에 대해 좋은 소개를하지 못하는 것 같습니다. BDD 및 그 응용과 관련된 비디오 강의는 언제나 환영합니다.

감사와 관련

Answer 1

참조 크 누스의 Computer Musings 비디오 기초를 다루는 강의뿐만 아니라 많은 다양한 애플리케이션 :

• Fun With Binary Decision Diagrams (BDDs)
• Fun With Zero-Suppressed Binary Decision Diagrams (ZDDs)

Answer 2

[1]에서 주문 도입 2 진 결정 다이어그램은 실제로 사용되는 구현 기술을 잘 요약하고 [3], CUDD의 기본 재정렬 알고리즘, [4]는 특정 배경을 가정하지 않는 소개이며, [5]는 매우 자세하고 수학적입니다 (Somenzi - CUDD의 저자). [6] , 자체 포함, 주제에 대한 소개가 포함됩니다.

[1] 랜달 E. 브라이언트 "부울 함수 조작 그래프 기반 알고리즘"시스템 집에 IEEE 거래. C-35, 8 번, 8 월, 1986 pp.677--690

[2] S. 칼 가새 L. 리차드 Rudell 랜달 E. 브라이언트 "는 BDD 패키지의 효과적인 구현" 27 ACM/IEEE 디자인 자동화 컨퍼런스 1990 pp.40--45

[3] 리처드 Rudell 컴퓨터 지원 설계에 IEEE/ACM 국제 회의 " 이진 결정 다이어그램을 주문하기위한 동적 변수 순서" pp.42--47

[4] Christel Baier and MIT 출판부, 2008 섹션 6.7, pp.381--421

[5] 파비오 Somenzi "이진 결정 다이어그램" calculational 한 시스템 설계, Vol.173 을 주스트 - 피터 Katoen는 "체크 모델의 원칙" NATO 과학 시리즈 F : 컴퓨터 및 시스템 과학 pp.303--366, IOS 보도 1999 년

[6] 헨릭 R. 앤더슨 효율적인 알고리즘 및 프로그램 "에 대한 강의 노트"이진 결정 다이어그램에 대한 소개 " ", 1999 코펜하겐 IT 대학