Title: Constraint solving over multi-valued logics
Subjects: Integrated circuits, Mathematical models