3 citations · 5 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023
General Method for Solving Four Types of SAT Problems
Anqi Li, Congying Han, Tiande Guo +2
Existing methods provide varying algorithms for different types of Boolean satisfiability problems (SAT), lacking a general solution framework. Accordingly, this study proposes a u…
cs.GT2023
A-PSRO: A Unified Strategy Learning Method with Advantage Function for Normal-form Games
Yudong Hu, Haoran Li, Congying Han +3
Solving Nash equilibrium is the key challenge in normal-form games with large strategy spaces, where open-ended learning frameworks offer an efficient approach. In this work, we pr…