Return to Article Details A Comparison of the Methods of Boolean-Equation Solving and Input-Domain Constraining for Handling Type-2 Problems of Digital Circuit Design Download PDF