K
Karl S. Brace
Researcher at Carnegie Mellon University
Publications - 1
Citations - 1252
Karl S. Brace is an academic researcher from Carnegie Mellon University. The author has contributed to research in topics: Cache & Data structure. The author has an hindex of 1, co-authored 1 publications receiving 1219 citations.
Papers
More filters
Proceedings ArticleDOI
Efficient implementation of a BDD package
TL;DR: A package for manipulating Boolean functions based on the reduced, ordered, binary decision diagram (ROBDD) representation is described, based on an efficient implementation of the if-then-else (ITE) operator.