One-Shot Learning for k-SAT.

Andreas Galanis, Leslie Ann Goldberg, Xusheng Zhang

Browse the full ICALP paper archive.