SAT to SAT-Hard Clause Translator.
Rakibul HassanSetareh RafatiradHouman HomayounSai Manoj Pudukotai DinakarraoPublished in: CASES (work in progress) (2019)
Keyphrases
- sat solvers
- satisfiability testing
- satisfiability problem
- sat problem
- phase transition
- truth assignment
- propositional satisfiability
- sat solving
- stochastic local search
- search space
- search algorithm
- sat instances
- cnf formula
- boolean formula
- stochastic local search algorithms
- boolean satisfiability
- data sets
- max sat
- clause learning
- randomly chosen
- propositional logic
- np complete
- evolutionary algorithm
- genetic algorithm
- neural network