Research
Publications
Academic Resources
Software Tools
People
Contact
English
English
中文 (简体)
Weilin Luo
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
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.
Cite
×