Hacker News new | ask | show | jobs
NeuroCore: Guiding CDCL with Unsat-Core Predictions (arxiv.org)
5 points by dselsam 2661 days ago