Test Patterns Compression Technique Based on a Dedicated SAT-Based ATPG.
Jiri BalcarekPetr FiserJan SchmidtPublished in: DSD (2010)
Keyphrases
- data mining techniques
- pattern discovery
- compression scheme
- answer set programming
- image compression
- compression algorithm
- compression ratio
- neural network
- dynamic programming
- frequent patterns
- pattern mining
- data compression
- constraint propagation
- interesting patterns
- boolean satisfiability
- bounded model checking