Home›Books›Constraint Solving over Multi-Valued LogicsConstraint Solving over Multi-Valued Logicsby Francisco AzevedoNo description available.Mathematical modelsIntegrated circuits