Bayes DistNet -- A Robust Neural Network for Algorithm Runtime Distribution Predictions

Jake Tuero, Michael Buro

Randomized algorithms are used in many state-of-the-art solvers for constraint satisfaction problems (CSP) and Boolean satisfiability (SAT) problems. For many of these problems, th…