NeuroCore: Guiding CDCL with Unsat-Core Predictionsarxiv.org5 points·dselsam··0 commentsOpen articleSaveView on HN