REPOSITORY POLNEP

Browsing by Subject "OBDD"

DSpace/Manakin Repository

Browsing by Subject "OBDD"

Sort by: Order: Results:

  • Yuniarto, Wendhi (2013-02-20)
    Tulisan ini memperlihatkan algoritma dasar dari OBDD untuk memverifikasi fungsi Boolean. Dengan menggunakan paket KBDD (yang dikembangkan oleh Karl Berry dari Carnegie Melon University), program kbdd berjalan di sistem ...

Search

Browse

My Account