Weilin Luo

最新

• 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
• Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.