constraint-solving-over-multi-valued-logics-application-to-digital-circuits-ios