Automated SAT Problem Feature Extraction using Convolutional Autoencoders.
Marco DallaAndrea VisentinBarry O'SullivanPublished in: ICTAI (2021)
Keyphrases
- sat problem
- feature extraction
- satisfiability problem
- phase transition
- sat solvers
- boolean satisfiability
- np complete
- constraint satisfaction problems
- max sat
- sat solving
- denoising
- randomly generated
- sat instances
- propositional satisfiability
- deep belief networks
- decision problems
- stochastic local search
- restricted boltzmann machine
- image processing
- constraint satisfaction
- branch and bound
- deep learning
- language model
- probabilistic model
- propositional formulas
- special case
- face recognition
- davis putnam