Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques.
Marcel MertenMuhammad HassanRolf DrechslerPublished in: DDECS (2023)
Keyphrases
- quality assessment
- pseudo boolean
- image quality
- combinatorial problems
- pseudo boolean constraints
- symmetry breaking
- logic programming
- human visual system
- integer linear programming
- image quality assessment
- data quality
- exact solution
- computational properties
- global constraints
- computational complexity
- high frequency
- logic programs
- data analysis