Hai Wan

Latest

• Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter
• Improving Local Search Algorithms via Probabilistic Configuration Checking AAAI 2022: 10283-10290
• Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem
• Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.