1 code implementation • 29 Apr 2022 • Benjamin Provan-Bessell, Marco Dalla, Andrea Visentin, Barry O'Sullivan
This paper introduces SATfeatPy, a library that offers feature extraction techniques for SAT problems in the CNF form.