Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
Learning Better Representations From Less Data For Propositional Satisfiability.
Conference on Neural Information Processing Systems (NeurIPS)
NeuRes: A Neural Resolution Prover of Unsatisfiability
