AAAI 2025 paper

DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem

1citations

1

Citations

#958

in AAAI 2025

of 3028 papers

3

Authors

1

Data Points

Authors

Jiaxin Liang Junping Zhou Minghao Yin

Citation History

Jan 27, 2026

1