sat
sat copied to clipboard
Learning local search heuristics for Boolean satisfiability
Results
2
sat issues
Sort by
recently updated
recently updated
newest added
Can you upload the pre trained weights that you used to achieve the paper's results?
We thank the authors for publishing an open-source implementation of their paper. Looking at the repo, it is not immediately clear how curricula are implemented. Can the authors please clarify...