This is the first (to my knowledge) Bayesian-learning based MAXSAT solver. It will find a solution that satisfies more than 99% of the clauses for very large instances (millions of literals and clauses) within seconds. The idea is from my supervisor Prof. Pascal Poupart and me.

@Author: Haonan Duan