Deep Cooperation of CDCL and Local Search for SAT

von Cai, Shaowei
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search

von Cai, Shaowei
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Local Search for SMT on Linear Integer Arithmetic

von Cai, Shaowei
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Efficient Local Search for Pseudo Boolean Optimization

von Lei, Zhendong
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

Efficient Local Search for Nonlinear Real Arithmetic

von Wang, Zhonghan
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)