Junping Zhou

1
Papers
1
Total Citations

Papers (1)

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

AAAI 2025
1
citations