Bohan Li

最新

• A Local Search Algorithm for MaxSMT(LIA)
• Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
• Efficient Local Search for Nonlinear Real Arithmetic
• Local Search For Satisfiability Modulo Integer Arithmetic Theories
• Local Search For SMT On Linear and Multi-linear Real Arithmetic
• Local Search For Satisfiability Modulo Integer Arithmetic Theories (2022)
• Local Search for SMT on Linear Integer Arithmetic
• Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. J. Artif. Intell. Res. 71: 89-119 (2021)
• Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. CP 2021: 39:1-39:16
• NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI 2020: 1503-1510