Automated SAT Problem Feature Extraction using Convolutional Autoencoders.

Marco Dalla, Andrea Visentin, Barry O'Sullivan

Browse the full ICTAI paper archive.