FGILP: an integer linear program solver based on function graphs
Published in International Conference on Computer Aided Design • Nov 7, 1993
NobleIDNI0P45W92R74S83
Authors:,,
Yung-Te Lai
Massoud Pedram
Sarma Vrudhula
Abstract
Edge-valued binary-decision diagrams (EVBDDs) are directed acyclic graphs which can represent and manipulate integer functions as effectively as ordered binary-decision diagrams (OBDDs) do for Boolean functions. They have been used to perform logic verification and compute the decomposability of Boo...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!