Hierarchical Stochastic SAT and Quality Assessment of Logic Locking.
Christoph SchollTobias SeufertFabian SiegwolfPublished in: SAT (2024)
Keyphrases
- quality assessment
- image and video processing
- image quality
- human visual system
- video quality
- quality metrics
- data quality
- image quality assessment
- concurrency control
- visual quality
- automatic evaluation
- sat solvers
- logic programming
- database systems
- perceived quality
- reduced reference
- uncertainty handling
- satisfiability problem
- low level
- human perception
- image quality metrics
- image processing
- databases
- data sets