Furong Ye

最新

• Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis
• AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
• Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
• Bi-Objective Contract Allocation for Guaranteed Delivery Advertising
• Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme