Constraint solving over multi - valued logics application to digital circuits - Azevedo, Francisco (Amsterdam IOS Press, 2002)
Keywords: Computer mathematics; Computer engineering