Proving Hardware Designs.

Peter T. Breuer Luis Sánchez Carlos Delgado Kloos

Published in: ICLP (1994)

Keyphrases

hardware designs
model based diagnosis
viewpoint
databases
data mining
computer vision
multi agent
multi dimensional
signal processing
constraint satisfaction problems
constraint satisfaction