Learning to Generate Industrial SAT Instances

Published in Twelfth Annual Symposium on Combinatorial Search (SoCS'19), 2019