NeuroCore: Guiding CDCL with Unsat-Core Predictions #1 Post by dselsam » Wed, Mar 13, 2019, 12:58 AM UTC NeuroCore: Guiding CDCL with Unsat-Core Predictionsarxiv.org