A
Menu
August 04, 2025 preprint Open access Aachen paper

Automatically discovering heuristics in a complex SAT solver with large language models

Research Square

DOI: 10.21203/rs.3.rs-7255349/v1 Full text (OA) OpenAlex

Authors 5

  1. Shaowei Cai

    Chinese Academy of Sciences · Institute of Software

    Affiliation as printed

    Institute of Software, Chinese Academy of Sciences

  2. Yiwen Sun

    Fudan University

    Affiliation as printed

    Fudan University

  3. Furong Ye Aachen

    Leiden University

    Affiliation as printed

    Leiden University

  4. Zhihan Chen

    Chinese Academy of Sciences · Institute of Software

    Affiliation as printed

    Institute of Software, Chinese Academy of Sciences

  5. Ke Wei

    Fudan University

    Affiliation as printed

    Fudan University

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-11).

References 0