Net integrity checking by optical localization techniques.

Gérald Haller Aziz Machouat Dean Lewis Vincent Pouget

Published in: Microelectron. Reliab. (2009)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
semantic query optimization
constraint logic programming
query answering
machine learning
artificial intelligence
query language
programming language
constraint satisfaction problems