Satisfiability on Mixed Instances.
Ruiwen ChenRahul SanthanamPublished in: Electron. Colloquium Comput. Complex. (2015)
Keyphrases
- stochastic local search
- randomly generated
- sat instances
- computational complexity
- satisfiability problem
- np complete
- phase transition
- propositional logic
- propositional satisfiability
- training instances
- sat problem
- random sat instances
- random sat
- neural network
- boolean formula
- quantified boolean formulas
- data model
- genetic algorithm