Abstract
This paper summarizes the presently-known solutions to the linearity problem. The paper includes not only linear assignment techniques which require the output to be linear, but also linear assignment techniques for the next-state behaviour. For this latter category, it has been shown that state splitting may be required, and the current results in this area are included.

This publication has 15 references indexed in Scilit: