View Document Preview and Link Document Date: 2007-01-21 13:03:49 Open Document File Size: 241,97 KB Share Result on Facebook
City Nara / a BDD / / Company IBM / MVSIS Group / / Country Japan / / Currency pence / / / Facility T. Villa / Kyushu Institute of Technology / CSE Kyushu Institute of Technology Iizuka / EXTRA library / Tsutomu Sasao Center / / IndustryTerm compares traditional solutions / recursive algorithm / prime computation algorithms / compares several algorithms / logical networks / nondeterministic multi-valued networks / prime computation algorithm / computation algorithm / partial solutions / computation algorithms / implicit algorithms / implicit algorithm / binary solution / symbolic logic minimization algorithm / / OperatingSystem Windows XP / / Organization Exploring Multi-Valued Minimization Using Binary Methods Alan Mishchenko Department / Kyushu Institute of Technology / UC Berkeley / Robert K. Brayton Department / Madre / CSE Kyushu Institute of Technology Iizuka / Univ. of California / Tsutomu Sasao Center / / Person Robert K. Brayton / / / Position first author / / ProvinceOrState California / / Technology symbolic logic minimization algorithm / RAM / comparable algorithms / prime computation algorithms / The algorithms / Logic Minimization Algorithms / ISOP algorithm / Primes One algorithm / binary BDD-based algorithms / implicit algorithm / recursive ISOP computation algorithm / Graph-based algorithms / 5 Algorithms / recursive algorithm / BDD-based prime computation algorithm / ISOP computation algorithms / CAD / / URL http / SocialTag 
Exploring Multi-Valued Minimization Using Binary Methods Alan Mishchenko Department of EECS UC Berkeley Berkeley, CA[removed]removed]