Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Richards, Simon Kim"'
Autor:
Richards, Simon Kim
Thesis (M.S.) -- Mississippi State University. Department of Computer Science and Engineering.
Title from title screen. Includes bibliographical references.
Title from title screen. Includes bibliographical references.
Autor:
Richards, Simon Kim
Publikováno v:
Theses and Dissertations.
A Reduced Ordered Binary Decision Diagram (BDD) is a symbolic data structure introduced to the model checking community by Bryant in 1986 to help verify properties of systems with very large state spaces. Recently, BDDs have been used in heuristic se