Title: BDD and ZDD Libarayry for Ruby


Ryutaro KURAI (Hatena Co., Ltd.)


In this talk I will introduce the libarary of BDD and ZDD. BDDs (Binary Decision Diagrams) are graph-based representations of Boolean functions, now widely used in system design and verification. Zero-suppressed BDDs (ZDDs) are a special type of BDDs that are suitable for handling large-scale sets of combinations. Using BDDs and ZDDs, I will show you the solution for n-Queen problem and the some of Datamining problems.


July 17, 2009


Conference Room(1st Floor)

Speaker Profile

A Web Application Engineer of Hatena Co., Ltd.

Presentation Material

(Sorry, currently not available)

Video footage

Rubyで楽しむBDD,ZDD (1/2) - 倉井 龍太郎

Rubyで楽しむBDD,ZDD (2/2) - 倉井 龍太郎

Back to Timetable

Ruby Sponsors
  • 伊藤忠テクノソリューションズ株式会社
  • 株式会社ネットワーク応用通信研究所
  • 株式会社リコー
Platinum Sponsors
  • 株式会社永和システムマネジメント
  • ニフティ株式会社
  • 株式会社RAWHIDE.
  • 株式会社リクルート
  • 株式会社トランス・ニュー・テクノロジー
  • 株式会社コンテンツワン
Gold Sponsors
  • 株式会社アンタス
  • 株式会社クリアコード
  • 株式会社クオン
  • 株式会社万葉
  • 株式会社iRubySystems
  • 有限会社ラビックス
  • 楽天株式会社
  • SKIPユーザグループ
  • タワーズ・クエスト株式会社
  • ワイクル株式会社