SATfeatPy -- A Python-based Feature Extraction System for Satisfiability

Benjamin Provan-Bessell, Marco Dalla, Andrea Visentin +1

Feature extraction is a fundamental task in the application of machine learning methods to SAT solving. It is used in algorithm selection and configuration for solver portfolios an…