AutoSAT: Automatically Optimize SAT Solvers via Large Language Models

Conflict-Driven Clause Learning (CDCL) is the mainstream framework for solving the Satisfiability problem (SAT), and CDCL solvers typically rely on various heuristics, which have a significant impact on their performance. Modern CDCL solvers, such as MiniSat and Kissat, commonly incorporate several...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-11
Hauptverfasser:	Sun, Yiwen, Ye, Furong, Zhang, Xianyin, Huang, Shiyu, Zhang, Bingzhen, Wei, Ke, Cai, Shaowei
Format:	Artikel
Sprache:	eng
Schlagworte:	Datasets Fault tolerance Heuristic Large language models Optimization Solvers
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!