SATfeatPy - A Python-based Feature Extraction System for Satisfiability.
Benjamin Provan-BessellMarco DallaAndrea VisentinBarry O'SullivanPublished in: CoRR (2022)
Keyphrases
- feature extraction
- satisfiability problem
- open source
- programming language
- feature selection
- image processing
- propositional logic
- pattern classification
- feature vectors
- face recognition
- np complete
- extracted features
- principal component analysis
- preprocessing
- feature extractors
- open source software
- pattern recognition
- image classification
- development tools
- frequency domain
- computational complexity
- discriminant analysis
- feature extraction and classification
- texture analysis
- linear feature extraction
- phase transition
- scripting language
- linear discriminant analysis
- feature representation
- sat problem
- manifold learning
- dimensionality reduction
- wavelet transform
- multiscale
- dimension reduction
- support vector machine svm
- object oriented programming
- feature set
- cnf formula
- object oriented
- image preprocessing
- high dimensional
- satisfiability testing