Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization.
Bernd BeckerRolf DrechslerStephan EggersglüßMatthias SauerPublished in: DTIS (2014)
Keyphrases
- recent advances
- researchers and practitioners
- constraint solver
- answer set programming
- field of pattern recognition
- machine learning
- constraint programming
- linear constraints
- sat encodings
- fault models
- knowledge base
- expert systems
- domain knowledge
- computational intelligence
- constraint satisfaction
- multimedia processing