BMMSAT
December 31, 2018 ยท View on GitHub
This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers
December 31, 2018 ยท View on GitHub
This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers