Automated SAT Problem Feature Extraction using 1 Convolutional Autoencoders
Authors: Marco Dalla, Andrea Visentin and Barry O'Sullivan
Paper Information
| Title: | Automated SAT Problem Feature Extraction using 1 Convolutional Autoencoders |
| Authors: | Marco Dalla, Andrea Visentin and Barry O'Sullivan |
| Proceedings: | dpcp22 Doctoral Program Papers |
| Editor: | Hélène Verhaeghe |
| Keywords: | boolean satisfiability, deep learning, convolutional autoencoders, feature extraction, CNF encoding |
| Pages: | 9 |
| Talk: | Aug 01 11:55 (Session 31R: Doctoral Program) |
| Paper: |  |