HyAC: A Hybrid Structural SAT Based ATPG for Crosstalk.

Xiaoliang Bai Sujit Dey Angela Krstic

Published in: ITC (2003)

Keyphrases

structural information
answer set programming
neural network
version space
structural features
ai planning
bounded model checking
database
real time
multi agent systems
programming language
hybrid learning