Title: Constraint Solving over Multi-Valued Logics
Subjects: Mathematical models, Integrated circuits