2026
PALSAT: Deep Cooperation of Unit Propagation and Local Search in Incomplete SAT Solving
Mingming Jin, Zhijie Kuang, Jiongzhi Zheng et al.
· International Conference on... · 0 citations
We have 2 of 7 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Preprint
Aug 2026
Beyond Average Performance: Dynamic Instance Clustering and Specialized Algorithm Design in LLM-Assisted Evolutionary Search
DyCA treats instance clustering as a co-evolving component within the search process, reusing accumulated evaluation data as feature-free signals to progressively partition instances with similar algorithmic response patterns, thereby enabling finer-grained and more adaptive guidance for specialized algorithm design.
Qinglong Hu, Qingfu Zhang, Fei Liu et al.
· 0 citations