Guiding High-Performance SAT Solvers with Unsat-Core Predictions

1 code implementation • 12 Mar 2019 • Daniel Selsam, Nikolaj Bjørner

In this work, we train a simplified NeuroSAT architecture to directly predict the unsatisfiable cores of real problems.

Scheduling Vocal Bursts Intensity Prediction