Yiwen Sun

1PUBLICATIONS
1CO-AUTHORS
Satisfiability and optimisation
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jul 17, 2026
Discovering heuristics in a complex SAT solver with large language models.

Pageof 1

Frequent Collaborators

1 joint publications

Ke Wei