Official Code of Discovering heuristics in a complex SAT solver with large language models

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text

Authors: Sun, Yiwen

DOI: 10.5281/zenodo.17856394

Cited by: 0

Fields of Study & Subjects

Constraint Satisfaction and Optimization Formal Methods in Verification AI-based Problem Solving and Planning