SAT-Based ATPG for Zero-Aliasing Compaction.
Robert HüllePetr FiserJan SchmidtPublished in: DSD (2017)
Keyphrases
- bounded model checking
- answer set programming
- high frequency
- sat solvers
- ai planning
- version space
- constraint solver
- frequency domain
- light field
- reconstruction error
- high resolution
- high frequency components
- low pass filtering
- sampling theorem
- planning problems
- sat encodings
- answer sets
- model checking
- boolean satisfiability
- spatial resolution
- temporal logic
- classical planning
- formal verification
- planning domains
- color filter array
- feature extraction
- super resolution
- search space