sat icon indicating copy to clipboard operation
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...