Popular repositories Loading

1. contrastive-sat contrastive-sat Public

   Python 4

2. DiscRecurrentSPN DiscRecurrentSPN Public

   This is a system to train recurrent SPNs discriminitively using extended Baum-Welch algorithms

   C++ 1

3. BMM_SAT BMM_SAT Public

   This is a very simple Bayesian-learning based MAXSAT solver. It will find a solution that satisfies more than 99% of the clauses for very large instances within seconds.

   C++ 1

4. Bayesian_SAT Bayesian_SAT Public

   1

5. SurveyPropagation SurveyPropagation Public

   Forked from thibsej/SurveyPropagation

   Implementation of the survey propagation

   Python

6. h.github.io h.github.io Public

   Forked from LantaoYu/lantaoyu.github.io

   Github Pages template for academic personal websites

   JavaScript