1
Constraint solving over multi-valued logics : application to digital circuits / / Francisco Azevedo.
Published: c2003.
Superior document: Frontiers in artificial intelligence and applications, v. 91. Dissertations in artificial intelligence