DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models

Minyu Chen, Guoqiang Li

The performance of Conflict-Driven Clause Learning solvers hinges on internal heuristics, yet the heterogeneity of SAT problems makes a single, universally optimal configuration un…