SATConda: SAT to SAT-Hard Clause Translator.
Rakibul HassanGaurav KolheSetareh RafatiradHouman HomayounSai Manoj Pudukotai DinakarraoPublished in: ISQED (2020)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- satisfiability testing
- propositional satisfiability
- truth assignment
- boolean satisfiability
- phase transition
- max sat
- sat solving
- search algorithm
- unit propagation
- cnf formula
- sat instances
- search problems
- evolutionary algorithm
- orders of magnitude
- stochastic local search algorithms
- boolean variables
- pseudo boolean constraints
- graph coloring
- theorem prover
- randomly chosen
- search strategies
- sat encodings
- logic programs
- random sat
- data sets