A Cognitive SAT to SAT-Hard Clause Translation-based Logic Obfuscation.
Rakibul HassanGaurav KolheSetareh RafatiradHouman HomayounSai Manoj Pudukotai DinakarraoPublished in: DATE (2021)
Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- satisfiability testing
- boolean satisfiability
- sat solving
- phase transition
- propositional satisfiability
- boolean formula
- search algorithm
- stochastic local search algorithms
- max sat
- stochastic local search
- first order logic
- theorem prover
- quantifier free
- sat instances
- variable ordering
- random sat
- truth assignment
- cnf formula
- reverse engineering
- orders of magnitude
- search space
- modal logic
- search strategies
- source code
- boolean variables
- knowledge representation
- knowledge base
- decision making