Higher-Order Flexibilities in Multi-Valued Networks
Alan Mishchenko, Robert K. Brayton · 2002
Computation of complete flexibility (CF) of a node in the non-deterministic MV network is introduced in [10]. CF describes the freedom to modify a node without violating the functionality of the network. It is defined for a node assuming a fixed representation of other nodes. CF is a first-order flexibility because it allows for optimization of one node at a time.