Circuit Deobfuscation from Power Side-Channels using Pseudo-Boolean SAT.
Kaveh ShamsiYier JinPublished in: ICCAD (2021)
Keyphrases
- pseudo boolean
- pseudo boolean constraints
- propositional satisfiability
- combinatorial problems
- integer linear programming
- logic programming
- boolean optimization
- sat solvers
- symmetry breaking
- exact solution
- constraint programming
- boolean satisfiability
- power consumption
- constraint satisfaction
- propositional logic
- combinatorial optimization
- orders of magnitude
- sat problem
- industrial applications
- column generation
- constraint satisfaction problems
- graph coloring
- logic programs
- discrete optimization problems
- sat encodings
- global constraints
- max sat
- automated reasoning
- knowledge base
- branch and bound algorithm
- simulated annealing
- knowledge representation