Trevor Phillips
Results
2
issues of
Trevor Phillips
- https://github.com/dselsam/neurosat/tree/master/python - Find AND gates whose inputs are very far apart. Assign fixed value to the input with the smaller bit index (improve SAT convergence?)
- ~~Use sampling (GTSAM)~~ - Use [tree-reweighted max product](https://www.cs.princeton.edu/courses/archive/fall11/cos597C/reading/WainwrightJordan2008.pdf) - ~~With LBP, maybe it will converge to the correct marginals if you "observed" N internal bits of SHA-256. Of course,...