Constraint solving over multi-valued logics application to digital circuits / - Azevedo, Francisco. (Frontiers in artificial intelligence and applications ;)