SAT based ATPG using fast justification and propagation in the implication graph.
Paul TafertshoferAndreas GanzPublished in: ICCAD (1999)
Keyphrases
- graph representation
- random walk
- graph structure
- weighted graph
- directed graph
- graph theory
- answer set programming
- information propagation
- bipartite graph
- ai planning
- structured data
- connected components
- bounded model checking
- active learning
- graph based algorithm
- global consistency
- graph construction
- graph mining
- directed acyclic graph
- orders of magnitude
- np complete